conftrace_

disjoint allsat

1 paper

Explore in graph

Also known as

ALLSAT

Co-occurring keywords · papers mentioning both

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

Papers

Disjoint Partial Enumeration without Blocking Clauses AAAI 2024