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