Fred Hemery

2 papers in the IJCAI proceedings

IJCAI 2007

A Study of Residual Supports in Arc Consistency

with Christophe Lecoutre

Details PDF

IJCAI 2005

A Simple Model to Generate Hard Satisfiable Instances

with Ke Xu, Frédéric Boussemart, Christophe Lecoutre

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings