Inference rules for unsatisfiability
6 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by David A. Plaisted
A recursively defined ordering for proving termination of term rewriting systems
An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability
An NP-complete matching problem
Complete problems in the first-order predicate calculus
Efficiency of Theorem Proving Strategies
Restricted oracles