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: 106342963
• Publisher: Springer Netherlands
• Year: 2004
• Tongue: English
• Weight: 298 KB
• Volume: 43
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1007/s10472-005-0426-4