5 citations · 5 across the 1 of their papers we have counts for
1 paper
Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer
Applying pre- and inprocessing techniques to simplify CNF formulas both before and during search can considerably improve the performance of modern SAT solvers. These algorithms mo…