Introduction to Mathematics of Satisfiability

Taylor & Francis (2009)
  Copy   BIBTEX


From electronic design problems to resolution proofs to SAT solvers, this book focuses on the satisfiabilityof theories that consist of propositional logic ...



    Upload a copy of this work     Papers currently archived: 86,554

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Introduction to elementary mathematical logic.Abram Aronovich Stolyar - 1983 - New York: Dover Publications. Edited by Elliott Mendelson.
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Quantum logic and the classical propositional calculus.Othman Qasim Malhas - 1987 - Journal of Symbolic Logic 52 (3):834-841.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.


Added to PP

14 (#813,200)

6 months
1 (#871,807)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references