On Unit-Refutation Complete Formulae with Existentially Quantified Variables.

Lucas Bordeaux, Mikols Janota, Joo Marques-Silva, Pierre Marquis

Browse the full KR paper archive.