Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski

Browse the full TACAS paper archive.