Marco Benedetti

2 papers in the IJCAI proceedings

IJCAI 2007

QCSP Made Practical by Virtue of Restricted Quantification

with Arnaud Lallouet, Jérémie Vautard

Details PDF

IJCAI 2005

Extracting Certificates from Quantified Boolean Formulas

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings