Backtrack Search Using ZBDDs. Aloul, F. A., Mneimneh, M. N., & Sakallah, K. A. In International Workshop on Logic Synthesis (IWLS), pages 293-297, Granlibakken, California, June, 2001.
bibtex   
@inproceedings{aloul2001backtrack,
   author = {Aloul, Fadi A. and Mneimneh, Maher N. and Sakallah, Karem A.},
   title = {{Backtrack Search Using ZBDDs}},
   booktitle = {International Workshop on Logic Synthesis (IWLS)},
   address = {Granlibakken, California},
   pages = {293-297},
   month = {June},
   year = {2001}

}

Downloads: 0