Back to Results
First PageMeta Content
Mathematics / Model theory / Constraint programming / Boolean algebra / Skolem normal form / Davis–Putnam algorithm / First-order logic / Resolution / Vampire / Mathematical logic / Logic / Automated theorem proving


A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial
Add to Reading List

Document Date: 2006-04-12 01:52:20

Open Document

File Size: 844,74 KB

Share Result on Facebook

Company

CNF / /

IndustryTerm

concrete choice function computing / /

Person

Peter Baumgartner / /

URL

http /

SocialTag