Strategies for solving the Boolean satisfiability problem using binary decision diagrams
Publication Date
2001
Journal or Book Title
JOURNAL OF SYSTEMS ARCHITECTURE
DOI
https://doi.org/10.1016/S1383-7621(01)00011-X
Pages
491-503
Volume
47
Issue
6
Recommended Citation
Kalla, P; Zeng, ZH; and Ciesielski, MJ, "Strategies for solving the Boolean satisfiability problem using binary decision diagrams" (2001). JOURNAL OF SYSTEMS ARCHITECTURE. 208.
https://doi.org/10.1016/S1383-7621(01)00011-X
COinS