Belov, Anton; Ivrii, Alexander; Matsliah, Arie; Marques-Silva, Joao
(Springer-Verlag, 2012)
In this paper we address the following problem: given an unsatisfiable
CNF formula F, find a minimal subset of variables of F that constitutes
the set of variables in some unsatisfiable core of F. This problem, known as ...