Tacchella, Armando

6 publications

IJCAI 2020 Optimal Planning Modulo Theories Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella

AAAI 2010 Collaborative Expert Portfolio Management David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella

IJCAI 2009 A Structural Approach to Reasoning with Quantified Boolean Formulas Luca Pulina, Armando Tacchella

JAIR 2006 Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

AAAI 2002 Learning for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

IJCAI 2001 Backjumping for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella