Ordered Binary Decision Diagrams and the Davis-Putnam Procedure (1994)

by Tomás E. Uribe, Mark E. Stickel
Venue:IN PROC. OF THE 1ST INTERNATIONAL CONFERENCE ON CONSTRAINTS IN COMPUTATIONAL LOGICS