TY  - RPRT
TI  - A simplifier for propositional formulas with many binary clauses.
AU  - Ronen I Brafman
PY  - 2004
DO  - 10.1109/tsmcb.2002.805807
UR  - https://pubmed.ncbi.nlm.nih.gov/15369050/
ID  - 15369050
ER  -