Eytan Singher

According to our database, Eytan Singher authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

2023

Colored E-Graph: Equality Reasoning with Conditions.

Eytan Singher, Shachar Itzhaky

CoRR, 2023

Condition Synthesis Realizability via Constrained Horn Clauses.

Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2021

Theory Exploration Powered by Deductive Synthesis.

Eytan Singher, Shachar Itzhaky

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021