2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez-Carbonell
State-of-the-art SAT solvers are nowadays able to handle huge real-world instances. The key to this success is the so-called Conflict-Driven Clause-Learning (CDCL) scheme, which en…