Publication [WimmerRMB17] HQSpre - An Effective Preprocessor for QBF and DQBF Wimmer, R.; Reimer, S.; Marin, P. and Becker, B. In TACAS, pages 373-390, LNCS 10205, 2017.Downloads: bib
