@misc{indiciae9236c20dc3e5,
  title = {Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking},
  author = {Jeroen Meijer and Jaco van de Pol},
  year = {2015},
  url = {https://arxiv.org/abs/1511.08678},
  note = {Source identifier: 1511.08678}
}