CAP Project

[WimmerRM017] HQSpre - An Effective Preprocessor for QBF and DQBF Wimmer, R.; Reimer, S.; Marin, P. and Becker, B. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, pages 373-390, Lecture Notes in Computer Science 10205, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-662-54577-5_21