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

Mechanical Verification of SAT Refutations with Extended Resolution

other

Author(s): Nathan Wetzler , Marijn J. H. Heule , Warren A. Hunt

Publication date (Print): 2013

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 20

Record: found
Abstract: not found
Article: not found

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland (1962)

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

Bookmark

Record: found
Abstract: not found
Article: not found

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam (1960)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 229-244

DOI: 10.1007/978-3-642-39634-2_18

SO-VID: 90dd5b72-663c-4d0e-b85a-5d7908919953

History

Data availability:

Mechanical Verification of SAT Refutations with Extended Resolution

Read this book at

Related collections

HR-EBSD (High Resolution - Electron Back Scatter Diffraction)

Most cited references 20

A machine program for theorem-proving

A Computing Procedure for Quantification Theory

Isabelle/HOL

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,473

Cited by 5