The Boolean Constraint Solver of SWI-Prolog (System Description)
Graph-Based Algorithms for Boolean Function Manipulation