Back to Results
First PageMeta Content
Logic / Unit propagation / Resolution / Conjunctive normal form / Clause / Literal / ACL2 / Logic programming / First-order logic / Theoretical computer science / Mathematical logic / Automated theorem proving


Mechanical Verification of SAT Refutations with Extended Resolution Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt Jr. ⋆ The University of Texas at Austin Abstract. We present a mechanically-verified proof che
Add to Reading List

Document Date: 2013-07-31 07:11:51

Open Document

File Size: 165,88 KB

Share Result on Facebook

Facility

University of Texas / /

IndustryTerm

claim that no solution / search space / software verification / /

Organization

National Science Foundation / University of Texas at Austin / /

Person

Marijn J. H. Heule / Warren A. Hunt Jr. / Nathan Wetzler / /

Position

RT / head / /

ProgrammingLanguage

Common Lisp / Lisp / /

ProvinceOrState

Texas / /

URL

www.cs.utexas.edu/users/moore/acl2 / /

SocialTag