Satisfiability problem: Some polynomial classes of conjunctive normal forms

✍ Scribed by N. A. Parshina

• Publisher: Springer US
• Year: 1992
• Tongue: English
• Weight: 342 KB
• Volume: 28
• Category: Article
• ISSN: 1573-8337
• DOI: 10.1007/bf01125138