Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eytan Singher
conf.researchr.org general profile
NASA Formal Methods profile
PLDI 2022 profile
Registered user since Mon 13 Jun 2022
Name:
Eytan Singher
Affiliation:
Technion - Israel Institute of Technology
Contributions
2023
NFM
Author of Condition Synthesis Realizability via Constrained Horn Clauses within the NFM 2023-track
2022
EGRAPHS
Author of Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing within the EGRAPHS 2022-track
Share
x
Wed 4 Oct 11:32