共 50 条
- [23] On the behaviour of random K-SAT on trees JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2012,
- [24] k-SAT Is No Harder Than Decision-Unique-k-SAT COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2009, 5675 : 59 - 70
- [25] The Decimation Process in Random k-SAT Automata, Languages and Programming, ICALP, Pt I, 2011, 6755 : 305 - 316
- [30] A Better Algorithm for Random k-SAT AUTOMATA, LANGUAGES AND PROGRAMMING, PT I, 2009, 5555 : 292 - 303