Strategies for solving the Boolean satisfiability problem using binary decision diagrams. Kalla, P., Zeng, Z., & Ciesielski, M. J. Journal of Systems Architecture, 47(6):491–503, 2001.
Strategies for solving the Boolean satisfiability problem using binary decision diagrams [link]Paper  doi  bibtex   
@article{DBLP:journals/jsa/KallaZC01,
  author    = {Priyank Kalla and
               Zhihong Zeng and
               Maciej J. Ciesielski},
  title     = {Strategies for solving the Boolean satisfiability problem using binary
               decision diagrams},
  journal   = {Journal of Systems Architecture},
  volume    = {47},
  number    = {6},
  pages     = {491--503},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1383-7621(01)00011-X},
  doi       = {10.1016/S1383-7621(01)00011-X},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsa/KallaZC01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0