UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination

✍ Scribed by Edward A. Hirsch; Arist Kojevnikov

• Book ID: 106342940
• Publisher: Springer Netherlands
• Year: 2005
• Tongue: English
• Weight: 153 KB
• Volume: 43
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1007/s10472-004-9421-4