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 17

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

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

Nathan Wetzler, Marijn Heule, Warren A. Hunt (2014)

0 comments Cited 24 times – based on 0 reviews

Bookmark

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

Benefits of Bounded Model Checking at an Industrial Setting

Fady Copty, Limor Fix, Ranan Fraer … (2001)

0 comments Cited 19 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Trimming while checking clausal proofs

Marijn Heule, Warren A. Hunt, Nathan Wetzler (2013)

0 comments Cited 14 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2017

Publication date (Online): July 11 2017

Pages: 220-236

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

SO-VID: 8cf4c5b8-5ffb-4f7d-a0b2-374becf7996e

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

What a Difference a Variable Makes
Authors: Marijn Heule, Armin Biere
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Authors: Mario Alviano, Carmine Dodaro, Johannes Fichte …
Schur Number Five
Authors: Marijn Heule

See all cited by

Efficient Certified RAT Verification

Read this book at

Related collections

Animal models of intrauterine growth restriction (IUGR)

Most cited references 17

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

Benefits of Bounded Model Checking at an Industrial Setting

Trimming while checking clausal proofs

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,640

Cited by 6