@misc{indiciae9b5edfb08815,
  title = {A simplifier for propositional formulas with many binary clauses.},
  author = {Ronen I Brafman},
  year = {2004},
  doi = {10.1109/tsmcb.2002.805807},
  url = {https://pubmed.ncbi.nlm.nih.gov/15369050/},
  note = {Source identifier: 15369050}
}