![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 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](https://www.pdfsearch.io/img/2c5131cb85e6d4044b0fb974ed5e2db7.jpg) Date: 2010-07-28 04:32:18Mathematics 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@lsAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 256,51 KBShare Document on Facebook
|