blocking clause

propositional model enumeration (1) chronological backtracking (1) unit propagation (1) implicant shrinking (1) disjoint allsat (1) propositional model (1) clause learning (1) conflict-driven clause learning (1) propositional logic (1) constraint solving (1)