Login / Signup
Stefan Wissert
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Unsatisfiable Cores
Hidden Structure
Max Sat
Top Venues
TACAS
</>
Publications
</>
Matthias Heizmann
,
Jürgen Christ
,
Daniel Dietsch
,
Jochen Hoenicke
,
Markus Lindenmann
,
Betim Musa
,
Christian Schilling
,
Stefan Wissert
,
Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).
TACAS
(2014)