Restarts and Exponential Acceleration of the Davis–Putnam–Loveland–Logemann Algorithm: A Large Deviation Analysis of the Generalized Unit Clause Heuristic for Random 3-SAT

✍ Scribed by Simona Cocco; Rémi Monasson

• Book ID: 106342945
• Publisher: Springer Netherlands
• Year: 2005
• Tongue: English
• Weight: 288 KB
• Volume: 43
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1007/s10472-004-9426-z