Boosting Minimal Unsatisfiable Core Extraction. Agenda Introduction and motivation New algorithms ◦ Generic scheme ◦ Resolution-based algorithm ◦ Selector-variable-based.
The Model Evolution Calculus with Equality Peter Baumgartner Max-Planck-Institute for Informatics Saarbrücken, Germany Cesare Tinelli The University of.
Faster Extraction of High-Level Minimal Unsatisfiable Cores
Boosting Minimal Unsatisfiable Core Extraction