TY  - RPRT
TI  - Resolution Simulates Ordered Binary Decision Diagrams for Formulas in Conjunctive Normal Form
AU  - Olga Tveretina
PY  - 2017
UR  - https://arxiv.org/abs/1701.02275
ID  - 1701.02275
ER  -