Références
BDD
Randal
E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation
Henrik
Reif Andersen, An Introduction to BDD
Documentation
pour cal-bdd
http://www-cad.eecs.berkeley.edu/Research/cal_bdd/
articles
sur les BDD
SAT
M.Davis, H.
Putnam, A Computing Procedure for Quantification Theory
M. Davis, G. Logemann,
D. Loveland, A Machine Program for Theorem-Proving