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

Interpolation and SAT-Based Model Checking

K. L. McMillan (2003)

0 comments Cited 83 times – based on 0 reviews

Bookmark

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

Lazy Abstraction with Interpolants

Kenneth McMillan (2006)

0 comments Cited 79 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

An interpolating theorem prover

K.L. McMillan (2005)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 183-198

DOI: 10.1007/978-3-642-02959-2_16

SO-VID: 3b75b5d7-769b-4a55-88a8-eb6caa4f1691

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

Satisfiability Modulo Theories
Authors: Clark Barrett, Cesare Tinelli
SMT proof checking using a logical framework
Authors: Aaron Stump, Duckki Oe, Andrew Reynolds …
On Interpolation in Automated Theorem Proving
Authors: Maria Paola Bonacina, Moa Johansson

See all cited by

Ground Interpolation for Combined Theories

Read this book at

Related collections

Planning for the future: International Development Planning Review & the UN Sustainable Development Goals (SDGs)

Most cited references 13

Interpolation and SAT-Based Model Checking

Lazy Abstraction with Interpolants

An interpolating theorem prover

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,792

Cited by 7