Recognizing disguised NR(1) instances of the satisfiability problem

✍ Scribed by Bengt Aspvall

• Book ID: 103627978
• Publisher: Elsevier Science
• Year: 1980
• Tongue: English
• Weight: 379 KB
• Volume: 1
• Category: Article
• ISSN: 0196-6774
• DOI: 10.1016/0196-6774(80)90007-3