Media type: E-Article Title: The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 Contributor: Wimmer, Ralf; Scholl, Christoph; Becker, Bernd Published: IOS Press, 2019 Published in: Journal on Satisfiability, Boolean Modeling and Computation, 11 (2019) 1, Seite 3-52 Language: Not determined DOI: 10.3233/sat190115 ISSN: 1574-0617 Keywords: Materials Chemistry Origination: Footnote: Access State: Open Access