Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi. SAT-to-SAT in QBFEval 2016. In Florian Lonsing, Martina Seidl, editors, Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. Volume 1719 of CEUR Workshop Proceedings, pages 63-70, CEUR-WS.org, 2016. [doi]
Abstract is missing.