Olivier Dubois

.- Université Paris 6 , 4 place Jussieu , 75252 Paris cedex 05 , France. LaRIA ,

1 paper in the IJCAI proceedings

IJCAI 2001

A backbone-search heuristic for efficient solving of hard 3-SAT formulae

with Gilles Dequen

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings