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 13

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

DPLL(T): Fast Decision Procedures

Harald Ganzinger, George Hagen, Robert Nieuwenhuis … (2004)

0 comments Cited 33 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Fourier-Motzkin elimination and its dual

George Dantzig, B Curtis Eaves (1973)

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

Bookmark

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

CVC Lite: A New Implementation of the Cooperating Validity Checker

Clark Barrett, Sergey Berezin (2004)

0 comments Cited 26 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2006

Pages: 81-94

DOI: 10.1007/11817963_11

SO-VID: 264f802c-2055-4d4e-b213-27387fdd8d20

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 77

See all cited by

A Fast Linear-Arithmetic Solver for DPLL(T)

Read this book at

Related collections

Gamma Delta T cells

Most cited references 13

DPLL(T): Fast Decision Procedures

Fourier-Motzkin elimination and its dual

CVC Lite: A New Implementation of the Cooperating Validity Checker

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 6,056

Cited by 77