A Backbone-Search Heuristic for Efficient Solving of Hard 3-SAT Formulae

Dubois and Dequen. "A Backbone-Search Heuristic for Efficient Solving of Hard 3-SAT Formulae." International Joint Conference on Artificial Intelligence, 2001.

[Dubois and Dequen. "A Backbone-Search Heuristic for Efficient Solving of Hard 3-SAT Formulae." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/dubois2001ijcai-backbone/)

@inproceedings{dubois2001ijcai-backbone,
  title     = {{A Backbone-Search Heuristic for Efficient Solving of Hard 3-SAT Formulae}},
  author    = {Dubois, Olivier and Dequen, Gilles},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {248-253},
  url       = {https://mlanthology.org/ijcai/2001/dubois2001ijcai-backbone/}
}