University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Ivrii, Alexander"

DSpace Repository

Browsing LERO - Project partner authors by Author "Ivrii, Alexander"

Sort by: Order: Results:

  • 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 ...

Search ULIR


Browse

My Account

Statistics