Eytan Singher

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Sufficient Conditions

Theoretical Basis

Conceptual Clustering

Functional Programs

Top Venues

Publications

Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher
Condition Synthesis Realizability via Constrained Horn Clauses. NFM (2023)
Eytan Singher, Shachar Itzhaky
Colored E-Graph: Equality Reasoning with Conditions. CoRR (2023)
Eytan Singher, Shachar Itzhaky
Theory Exploration Powered by Deductive Synthesis. CAV (2) (2021)
Eytan Singher, Shachar Itzhaky
Theory Exploration Powered By Deductive Synthesis. CoRR (2020)