|
|
|
|
|
|
by CJefferson
2172 days ago
|
|
|
While they indeed don't use resolution directly, DPLL/CDCL is in many ways equivalent. Most modern SAT solvers will still have trouble with the pigeon-hole style problems (although some have inbuilt explicit detection, or symmetry breaking, which will let them solve it efficiently). |
|
|