Solving the Resolution-Free SAT Problem by Submodel Propagation in Linear Time

✍ Scribed by Gábor Kusper

• Book ID: 106342942
• Publisher: Springer Netherlands
• Year: 2005
• Tongue: English
• Weight: 81 KB
• Volume: 43
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1007/s10472-004-9423-2