Faster Extraction of High-Level Minimal Unsatisfiable Cores
From MaRDI portal
Publication:3007682
DOI10.1007/978-3-642-21581-0_15zbMath1331.68211MaRDI QIDQ3007682
Publication date: 17 June 2011
Published in: Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_15
DB lookup for MSC labels failed
Uses Software