Lex-Partitioning: A New Option for BDD Search. Edelkamp, S., Kissmann, P., & Torralba, Á. arXiv preprint arXiv:1210.6415, 2012.
bibtex   
@article{edelkamp2012lex,
  title={Lex-Partitioning: A New Option for BDD Search},
  author={Edelkamp, Stefan and Kissmann, Peter and Torralba, {\'A}lvaro},
  journal={arXiv preprint arXiv:1210.6415},
  year={2012}
}
Downloads: 0