ML Anthology

A Simplifier for Propositional Formulas with Many Binary Clauses

Ronen I. Brafman
IJCAI 2001 pp. 515-522
doi:10.1109/TSMCB.2002.805807 /ijcai/2001/brafman2001ijcai-simplifier/
Semantic Scholar

Cite

Text

Brafman. "A Simplifier for Propositional Formulas with Many Binary Clauses." International Joint Conference on Artificial Intelligence, 2001. doi:10.1109/TSMCB.2002.805807

Markdown

[Brafman. "A Simplifier for Propositional Formulas with Many Binary Clauses." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/brafman2001ijcai-simplifier/) doi:10.1109/TSMCB.2002.805807

BibTeX

@inproceedings{brafman2001ijcai-simplifier,
  title     = {{A Simplifier for Propositional Formulas with Many Binary Clauses}},
  author    = {Brafman, Ronen I.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {515-522},
  doi       = {10.1109/TSMCB.2002.805807},
  url       = {https://mlanthology.org/ijcai/2001/brafman2001ijcai-simplifier/}
}