Benedetti, Marco

3 publications

IJCAI 2007 QCSP Made Practical by Virtue of Restricted Quantification Marco Benedetti, Arnaud Lallouet, Jérémie Vautard

AAAI 2006 Abstract Branching for Quantified Formulas Marco Benedetti

IJCAI 2005 Extracting Certificates from Quantified Boolean Formulas Marco Benedetti