Combining Inference and Search for the Propositional Satisfiability Problem

Drake and Frisch. "Combining Inference and Search for the Propositional Satisfiability Problem." AAAI Conference on Artificial Intelligence, 2002.

[Drake and Frisch. "Combining Inference and Search for the Propositional Satisfiability Problem." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/drake2002aaai-combining/)

@inproceedings{drake2002aaai-combining,
  title     = {{Combining Inference and Search for the Propositional Satisfiability Problem}},
  author    = {Drake, Lyndon and Frisch, Alan M.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {982},
  url       = {https://mlanthology.org/aaai/2002/drake2002aaai-combining/}
}