241 search results - page 49 / 49 » Generic Patch Inference |
149
Voted
STOC
2010
ACM
16 years 5 days ago
2010
ACM
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...