%0 Journal Article %1 journals/jsa/KallaZC01 %A Kalla, Priyank %A Zeng, Zhihong %A Ciesielski, Maciej J. %D 2001 %J J. Syst. Archit. %K dblp %N 6 %P 491-503 %T Strategies for solving the Boolean satisfiability problem using binary decision diagrams. %U http://dblp.uni-trier.de/db/journals/jsa/jsa47.html#KallaZC01 %V 47

@article{journals/jsa/KallaZC01, added-at = {2020-05-19T00:00:00.000+0200}, author = {Kalla, Priyank and Zeng, Zhihong and Ciesielski, Maciej J.}, biburl = {https://www.bibsonomy.org/bibtex/2261c786211415c7f603e0d3ecd658c50/dblp}, ee = {https://doi.org/10.1016/S1383-7621(01)00011-X}, interhash = {6da93d0f6fdbd40bd82334dc69040e0d}, intrahash = {261c786211415c7f603e0d3ecd658c50}, journal = {J. Syst. Archit.}, keywords = {dblp}, number = 6, pages = {491-503}, timestamp = {2020-05-20T11:51:17.000+0200}, title = {Strategies for solving the Boolean satisfiability problem using binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/journals/jsa/jsa47.html#KallaZC01}, volume = 47, year = 2001 }