Inference rules for unsatisfiability
By: by David A. Plaisted.
Series: UIUCDCS-R ; 955
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana
Language: eng
Number of pages: 18
Subjects: Propositional calculus.; Polynomials.; Inference.
Other titles: Unsatisfiability.
Notes: Includes bibliographical references.