ML Anthology

Inference Methods for a Pseudo-Boolean Satisfiability Solver

Heidi E. Dixon, Matthew L. Ginsberg
AAAI 2002 pp. 635-640
/aaai/2002/dixon2002aaai-inference/
PDF AAAI Semantic Scholar

Cite

Text

Dixon and Ginsberg. "Inference Methods for a Pseudo-Boolean Satisfiability Solver." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Dixon and Ginsberg. "Inference Methods for a Pseudo-Boolean Satisfiability Solver." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/dixon2002aaai-inference/)

BibTeX

@inproceedings{dixon2002aaai-inference,
  title     = {{Inference Methods for a Pseudo-Boolean Satisfiability Solver}},
  author    = {Dixon, Heidi E. and Ginsberg, Matthew L.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {635-640},
  url       = {https://mlanthology.org/aaai/2002/dixon2002aaai-inference/}
}