1. Efficient implementation of a BDD package;Brace,1990
2. Graph based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
3. The satisfiability problem regarded as a constraint satisfaction problem;Bennaceur,1996
4. Arc-consistency for dynamic constraint satisfaction problems;Bessière,1991
5. Arc-consistency for non-binary dynamic CSPs;Bessière,1992