Strategies for solving the Boolean satisfiability problem using binary decision diagrams

• Authors:

• Priyank Kalla;Zhihong Zeng;Maciej J. Ciesielski

• Affiliations:

• -;-;-

• Venue:
• Journal of Systems Architecture: the EUROMICRO Journal
• Year:
• 2001