Deriving Small Unsatisfiable Cores with Dominators
Abstract elided by the publisher.
Related papers
- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers TACAS 2023
- Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution) TACAS 2014
- Space Explanations of Neural Network Classification CAV 2025
- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) TACAS 2022
- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization TACAS 2023
- Ground Interpolation for the Theory of Equality TACAS 2009
- Proofs in conflict-driven theory combination CPP 2018
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015