Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

DOI10.3233/SAT190100zbMath1484.68223MaRDI QIDQ5015593

Ofer Strichman, Alexander Nadel, Vadim Ryvchin

Publication date: 9 December 2021

Published in: Journal on Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

zbMATH Keywords

resolution; minimal high-level unsat core; minimal unsat core

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)