2004 | ||
---|---|---|
1 | EE | Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham: Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. CP 2004: 438-452 |
1 | Holger H. Hoos (Holger Hoos) | [1] |
2 | Kevin Leyton-Brown | [1] |
3 | Eugene Nudelman | [1] |
4 | Yoav Shoham | [1] |