Loop Calculus for Satisfiability

AAAI 2008 pp. 1810-1811

/aaai/2008/kroc2008aaai-loop/

Cite

Text

Kroc and Chertkov. "Loop Calculus for Satisfiability." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Kroc and Chertkov. "Loop Calculus for Satisfiability." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/kroc2008aaai-loop/)

BibTeX

@inproceedings{kroc2008aaai-loop,
  title     = {{Loop Calculus for Satisfiability}},
  author    = {Kroc, Lukas and Chertkov, Michael},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1810-1811},
  url       = {https://mlanthology.org/aaai/2008/kroc2008aaai-loop/}
}