BDD Construction for All Solutions SAT and Efficient Caching Mechanism

Publication
30th Annual ACM Symposium on Applied Computing, pp. 1880-1886