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

Satisfiability Modulo Bounded Checking

other

Author(s): Simon Cruanes

Publication date (Online): July 11 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 15

Record: found
Abstract: not found
Article: not found

Depth-first iterative-deepening

Richard Korf (1985)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle

Lawrence Paulson (1994)

0 comments Cited 66 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A needed narrowing strategy

Rachid Echahed, Sergio Antoy, Michael Hanus (2000)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2017

Publication date (Online): July 11 2017

Pages: 114-129

DOI: 10.1007/978-3-319-63046-5_8

SO-VID: e2f60f15-e2ac-422d-a09d-e53721d24872

History

Data availability:

Satisfiability Modulo Bounded Checking

Read this book at

Related collections

ScienceOpen Research

Most cited references 15

Depth-first iterative-deepening

Isabelle

A needed narrowing strategy

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,172