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

δ-Complete Decision Procedures for Satisfiability over the Reals

other

Author(s): Sicun Gao , Jeremy Avigad , Edmund M. Clarke

Publication date (Print): 2012

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 22

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

Quantifier elimination for real closed fields by cylindrical algebraic decompostion

George E. Collins (1975)

0 comments Cited 118 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Computable Analysis

Klaus Weihrauch (2000)

0 comments Cited 45 times – based on 0 reviews

Bookmark

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

A Tutorial on Computable Analysis

Vasco Brattka, Peter Hertling, Klaus Weihrauch (2008)

0 comments Cited 35 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 286-300

DOI: 10.1007/978-3-642-31365-3_23

SO-VID: 5c950fa6-a22c-48ab-b8d9-3a95c34fec5c

History

Data availability:

δ-Complete Decision Procedures for Satisfiability over the Reals

Read this book at

Related collections

Thermal Imaging in Social Decision Making

Most cited references 22

Quantifier elimination for real closed fields by cylindrical algebraic decompostion

Computable Analysis

A Tutorial on Computable Analysis

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,371

Cited by 22