Introduction to Mathematics of Satisfiability

Taylor & Francis (2009)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

Call number

QA9.3.M37 2009

ISBN(s)

9781439801673   1439801673
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Introduction to elementary mathematical logic.Abram Aronovich Stolyar - 1970 - 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.
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.

Analytics

Added to PP
2009-09-15

Downloads
16 (#886,588)

6 months
2 (#1,240,909)

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