Login / Signup
Ofer Guthmann
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Cellular Automata
Knowledge Extraction
Maximum Satisfiability
Max Sat
Top Venues
FMCAD
</>
Publications
</>
Ofer Guthmann
,
Ofer Strichman
,
Anna Trostanetski
Minimal unsatisfiable core extraction for SMT.
FMCAD
(2016)