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

Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification

other

Author(s): Andrew Reynolds , Maverick Woo , Clark Barrett , David Brumley , Tianyi Liang , Cesare Tinelli

Publication date (Online): July 13 2017

Publisher: Springer International Publishing

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 25

Record: found
Abstract: not found
Article: not found

Symbolic execution and program testing

James C King (1976)

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

Bookmark

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

Z3: An Efficient SMT Solver

Leonardo de Moura, Nikolaj Bjørner (2008)

0 comments Cited 133 times – based on 0 reviews

Bookmark

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

CVC4

Clark Barrett, Christopher Conway, Morgan Deters … (2011)

0 comments Cited 61 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2017

Publication date (Online): July 13 2017

Pages: 453-474

DOI: 10.1007/978-3-319-63390-9_24

SO-VID: 1eccda5b-2c6b-4a3a-98d9-f9a6898be0c9

History

Data availability:

Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 25

Symbolic execution and program testing

Z3: An Efficient SMT Solver

CVC4

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,220

Cited by 4