TY  - RPRT
TI  - Lex-Partitioning: A New Option for BDD Search
AU  - Stefan Edelkamp
AU  - Peter Kissmann
AU  - Álvaro Torralba
PY  - 2012
DO  - 10.4204/eptcs.99.8
UR  - https://arxiv.org/abs/1210.6415
ID  - 1210.6415
ER  -