Hichem Rami Ait El Hara

According to our database, Hichem Rami Ait El Hara authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

An SMT theory for N-Indexed Sequences.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

On SMT Theory Design: The Case of Sequences.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024