UnitWalk: A new SAT solver that uses local search guided by unit clause elimination

✍ Scribed by Edward A. Hirsch; Arist Kojevnikov

• Book ID: 106342958
• Publisher: Springer Netherlands
• Year: 2004
• Tongue: English
• Weight: 161 KB
• Volume: 43
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1007/s10472-005-0421-9