qsts
Submitter: | Shahab Tasharrofi | ||
Description: | Devised by B. Bogaerts, T. Janhunen, and
S. Tasharrofi, is based on nested SAT solving and theory transformations. The main tools utilized for translation are:
Details are available in Janhunen, T., Tasharrofi, S., Ternovska, E.: SAT-TO-SAT: Declarative extension of SAT solvers with new propagators. In: Proceedings of AAAI. (2016) Bogaerts, B., Janhunen, T., Tasharrofi, S.: Solving QBF instances with nested SAT solvers. Proceedings of Beyond NP (2016) | ||
Results: | |||