TY  - RPRT
TI  - Revisiting Decision Diagrams for SAT
AU  - Tom van Dijk
AU  - Rüdiger Ehlers
AU  - Armin Biere
PY  - 2018
UR  - https://arxiv.org/abs/1805.03496
ID  - 1805.03496
ER  -