Record: found
Abstract: not found
Book Chapter: not found

DPLL(T): Fast Decision Procedures

other

Author(s): Harald Ganzinger , George Hagen , Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli

Publication date (Print): 2004

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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:

DPLL(T): Fast Decision Procedures

Read this book at

Related collections

Thermal Imaging in Social 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 3,802

Cited by 32