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

Olivier Dubois Gilles Dequen A backbone-search heuristic for efficient solving of hard 3-SAT formulae. 248-253 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#DuboisD01