Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Automated theorem proving / Algebra / Logic in computer science / Algebraic structures / Semiring / Boolean satisfiability problem / DPLL algorithm / Unit propagation / Maximum satisfiability problem / Resolution


Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls
Add to Reading List

Document Date: 2010-07-28 04:32:18


Open Document

File Size: 256,51 KB

Share Result on Facebook