Janhunen, Tomi, Shahab Tasharrofi, and Eugenia Ternovska. 2016. “SAT-to-SAT: Declarative Extension of SAT Solvers With New Propagators”. Proceedings of the AAAI Conference on Artificial Intelligence 30 (1). https://doi.org/10.1609/aaai.v30i1.10111.