On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Lucas Bordeaux
Microsoft Research, Cambridge
United Kingdom
Mikolas Janota
http://sat.inesc-id.pt/~mikolas
INESC-ID, Lisboa
Portugal
Joao Marques-Silva
University College Dublin
Ireland
CASL and IST/INESC-ID
Pierre Marquis
CRIL-CNRS, University of Artois
France