15254 search results - page 332 / 3051 » A k |
155
Voted
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
156
Voted
DCC
2006
IEEE
16 years 7 months ago
2006
IEEE
142
Voted
DCC
2001
IEEE
16 years 7 months ago
2001
IEEE
210
Voted
STOC
2010
ACM
16 years 4 months 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...