Login / Signup
Eden Frenkel
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Domain Independent
Active Set
Efficient Implementation
Np Hard
Top Venues
CoRR
CAV (2)
</>
Publications
</>
Eden Frenkel
,
Tej Chajed
,
Oded Padon
,
Sharon Shoham
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.
CAV (2)
(2024)
Eden Frenkel
,
Tej Chajed
,
Oded Padon
,
Sharon Shoham
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.
CoRR
(2024)