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. 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
{"_id":"q6fwAWT8McnX3WkAP","bibbaseid":"kalla-zeng-ciesielski-strategiesforsolvingthebooleansatisfiabilityproblemusingbinarydecisiondiagrams-2001","authorIDs":["5dcdc5f178619fde010000b3"],"author_short":["Kalla, P.","Zeng, Z.","Ciesielski, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Priyank"],"propositions":[],"lastnames":["Kalla"],"suffixes":[]},{"firstnames":["Zhihong"],"propositions":[],"lastnames":["Zeng"],"suffixes":[]},{"firstnames":["Maciej","J."],"propositions":[],"lastnames":["Ciesielski"],"suffixes":[]}],"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","bibtex":"@article{DBLP:journals/jsa/KallaZC01,\n author = {Priyank Kalla and\n Zhihong Zeng and\n Maciej J. Ciesielski},\n title = {Strategies for solving the Boolean satisfiability problem using binary\n decision diagrams},\n journal = {Journal of Systems Architecture},\n volume = {47},\n number = {6},\n pages = {491--503},\n year = {2001},\n url = {https://doi.org/10.1016/S1383-7621(01)00011-X},\n doi = {10.1016/S1383-7621(01)00011-X},\n timestamp = {Sat, 20 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/jsa/KallaZC01},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Kalla, P.","Zeng, Z.","Ciesielski, M. J."],"key":"DBLP:journals/jsa/KallaZC01","id":"DBLP:journals/jsa/KallaZC01","bibbaseid":"kalla-zeng-ciesielski-strategiesforsolvingthebooleansatisfiabilityproblemusingbinarydecisiondiagrams-2001","role":"author","urls":{"Paper":"https://doi.org/10.1016/S1383-7621(01)00011-X"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-11-14T21:24:01.426Z","downloads":0,"keywords":["dblp"],"search_terms":["strategies","solving","boolean","satisfiability","problem","using","binary","decision","diagrams","kalla","zeng","ciesielski"],"title":"Strategies for solving the Boolean satisfiability problem using binary decision diagrams","year":2001,"dataSources":["L6BLFSB28hKk5Nt67"]}