There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 20

Record: found
Abstract: not found
Article: not found

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland (1962)

0 comments Cited 305 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam (1960)

0 comments Cited 222 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek Oppen (1980)

0 comments Cited 41 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2004

Pages: 175-188

DOI: 10.1007/978-3-540-27813-9_14

SO-VID: 14a6ad46-e733-4cf5-8ede-26d4053273aa

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

A Decision Procedure for Bit-Vectors and Arrays
Authors: Vijay Ganesh, David Dill
On SAT Modulo Theories and Optimization Problems
Authors: Robert Nieuwenhuis, Albert Oliveras
Satisfiability Modulo Theories
Authors: Clark Barrett, Cesare Tinelli

See all cited by

DPLL(T): Fast Decision Procedures

Read this book at

Related collections

Special Series: Research for Policy Decision Making

Most cited references 20

A machine program for theorem-proving

A Computing Procedure for Quantification Theory

Fast Decision Procedures Based on Congruence Closure

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,646

Cited by 32