SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

Open in new window