Sign in
Anna Trostanetski
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Max Sat
Maximum Satisfiability
Cellular Automata
Semantic Analysis
Top Venues
FMCAD
SAS
</>
Publications
</>
Anna Trostanetski
,
Orna Grumberg
,
Daniel Kroening
Modular Demand-Driven Analysis of Semantic Difference for Program Versions.
SAS
(2017)
Ofer Guthmann
,
Ofer Strichman
,
Anna Trostanetski
Minimal unsatisfiable core extraction for SMT.
FMCAD
(2016)