TY  - RPRT
TI  - Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking
AU  - Jeroen Meijer
AU  - Jaco van de Pol
PY  - 2015
UR  - https://arxiv.org/abs/1511.08678
ID  - 1511.08678
ER  -