Frédéric Boussemart

CRIL-CNRS FRE 2499 , Beihang University Université d'Artois Beijing 100083 , China Lens , France

1 paper in the IJCAI proceedings

IJCAI 2005

A Simple Model to Generate Hard Satisfiable Instances

with Ke Xu, Fred Hemery, Christophe Lecoutre

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings