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

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

Browse the full AAAI paper archive.