Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
37
views
22
references
Top references
cited by
22
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,854
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Automated Reasoning
δ-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
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
Special Series: Research for Policy Decision Making
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:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 477
Fingerprint Indexing for Paramodulation and Rewriting
pp. 111
Satallax: An Automatic Higher-Order Prover
pp. 225
Proving Non-looping Non-termination Automatically
pp. 286
δ-Complete Decision Procedures for Satisfiability over the Reals
pp. 355
Inprocessing Rules
pp. 378
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
pp. 454
The QMLTP Problem Library for First-Order Modal Logics
pp. 484
Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions
pp. 537
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
Similar content
1,854
Bounded model checking using satisfiability solving
Authors:
EM Clarke
,
A. Biere
,
R Raimi
…
On a family of solutions of the Kadomtsev–Petviashvili equation which also satisfy the Toda lattice hierarchy
Authors:
Gino Biondini
,
Yuji Kodama
Chilling and heat requirement of sweet cherry cultivars and the relationship between altitude and the probability of satisfying the chill requirements
Authors:
N. Alburquerque
,
F. GARCÍA-MONTIEL
,
A. Carrillo
…
See all similar
Cited by
22
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
Authors:
Leonardo de Moura
,
Grant Passmore
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Authors:
Dario Cattaruzza
,
Alessandro Abate
,
Peter Schrammel
…
A Non-linear Arithmetic Procedure for Control-Command Software Verification
Authors:
Pierre Roux
,
Mohamed Iguernlala
,
Sylvain Conchon
See all cited by