Propositional Logic: Deduction and Algorithms

@inproceedings{Buning1999PropositionalLD,
  title={Propositional Logic: Deduction and Algorithms},
  author={Hans Kleine Buning and Tracie Letterman},
  year={1999}
}
From the Publisher: This introduction to classical logic emphasises computational aspects. The authors treat issues of complexity and algorithmic analysis that have traditionally not been considered the realm of mathematical logic, but which are vital in areas such as automated reasoning, knowledge engineering, logic programming and AI.In order to make the book suited for teaching and for self-study, the book includes a systematic account of theoretical results, as well as an exposition of… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 118 CITATIONS, ESTIMATED 98% COVERAGE

The Complexity of Problems for Quantified Constraints

  • Theory of Computing Systems
  • 2007
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Clausal reasoning for branching-time logics

VIEW 17 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Complexity and expressive power of second-order extended Horn logic

  • Math. Log. Q.
  • 2013
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Boolean Functions as Models for Quantified Boolean Formulas

  • Journal of Automated Reasoning
  • 2007
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Equivalence Models for Quantified Boolean Formulas

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Are Short Proofs Narrow? QBF Resolution Is Not So Simple

VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Introduction to Logic, Third Edition

  • Introduction to Logic, Third Edition
  • 2016
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Introduction to Logic, Second Edition

  • Introduction to Logic, Second Edition
  • 2013
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Boolean functions with long prime implicants

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2001
2019

CITATION STATISTICS

  • 17 Highly Influenced Citations