Proceedings

Gilles Dequen

1 paper in the IJCAI proceedings

IJCAI 2001

A backbone-search heuristic for efficient solving of hard 3-SAT formulae
with Olivier Dubois
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards