Back to Results
First PageMeta Content
Automated theorem proving / Boolean algebra / Logic in computer science / Logic programming / Resolution / Rewriting / Clausal normal form / Valuation / Propositional calculus / Logic / Mathematical logic / Mathematics


1997-Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
Add to Reading List

Document Date: 2006-01-10 19:20:44

Open Document

File Size: 958,89 KB

Share Result on Facebook
UPDATE