1. Graph-based algorithm for Boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
2. A new viewpoint on two-level logic minimization;Coudert,1993
3. Mental Models;Johnson-Laird,1983
4. Algorithms for constraint-satisfaction problems: A survey;Kumar;AI Magazine,1992
5. Zero-Suppressed BDDs for set manipulation in combinatorial problems;Minato,1993