ML Anthology

Dubois, Olivier

1 publications

IJCAI 2001 A Backbone-Search Heuristic for Efficient Solving of Hard 3-SAT Formulae Olivier Dubois, Gilles Dequen