Using Unit Propagation with Universal Reduction in DQBF Preprocessing

Ralf Wimmer, Ming-Yi Hu

Several effective preprocessing techniques for Boolean formulas with and without quantifiers use unit propagation to simplify the formula. Among these techniques are vivification,…