Dalmau, Víctor

6 publications

ALT 2004 Learnability of Relatively Quantified Generalized Formulas Andrei A. Bulatov, Hubie Chen, Víctor Dalmau

AAAI 2002 Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis

IJCAI 2001 Phase Transitions of PP-Complete Satisfiability Problems Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis

MLJ 1999 A Dichotomy Theorem for Learning Quantified Boolean Formulas Víctor Dalmau

ALT 1999 Boolean Formulas Are Hard to Learn for Most Gate Bases Víctor Dalmau

COLT 1997 A Dichotomy Theorem for Learning Quantified Boolean Formulas Víctor Dalmau