A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1
2019
Journal on Satisfiability, Boolean Modeling and Computation
Preprocessing turned out to be an essential step for SAT, QBF, and DQBF solvers to reduce/modify the number of variables and clauses of the formula, before the formula is passed to the actual solving algorithm. These preprocessing techniques often reduce the computation time of the solver by orders of magnitude. In this paper, we present the preprocessor HQSpre that was developed for Dependency Quantified Boolean Formulas (DQBFs) and that generalizes different preprocessing techniques for SAT
doi:10.3233/sat190115
fatcat:23fjvy62qrbsnohgaakyzkm7a4