On Efficient Computation of Variable MUSes
From MaRDI portal
Publication:2843335
DOI10.1007/978-3-642-31612-8_23zbMath1273.03047OpenAlexW1836534067MaRDI QIDQ2843335
Alexander Ivrii, Anton Belov, Arie Matsliah, João P. Marques-Silva
Publication date: 12 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10344/2761
Related Items (3)
Speeding up MUS Extraction with Preprocessing and Chunking ⋮ Minimal sets on propositional formulae. Problems and reductions ⋮ Definability for model counting
This page was built for publication: On Efficient Computation of Variable MUSes