Media type: E-Article Title: Tools and Algorithms for the Construction and Analysis of Systems: HQSpre – An Effective Preprocessor for QBF and DQBF Contributor: Wimmer, Ralf; Reimer, Sven; Marin, Paolo; Becker, Bernd Published: Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 373-390 Language: Not determined DOI: 10.1007/978-3-662-54577-5_21 ISSN: 0302-9743; 1611-3349 Origination: Footnote: