Ordered binary decision diagrams and the Davis-Putnam procedure (1994)

by T Uribe, M E Stickel
Venue:In Proocedings of the First International Conference on Constraints in Computational Logics