Solving the resolution-free SAT problem by submodel propagation in linear time

✍ Scribed by Gábor Kusper

• Book ID: 106342960
• Publisher: Springer Netherlands
• Year: 2004
• Tongue: English
• Weight: 88 KB
• Volume: 43
• Category: Article
• ISSN: 1012-2443
• DOI: 10.1007/s10472-005-0423-7