13 citations · 26 across the 9 of their papers we have counts for
1 paper · 1 filter
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,…