Semiring-Induced Propositional Logic: Definition and Basic Algorithms

DOI10.1007/978-3-642-17511-4_19zbMath1284.03209OpenAlexW143036387MaRDI QIDQ3066107

Enric Rodríguez-Carbonell, Albert Oliveras, Javier Larrosa

Publication date: 7 January 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_19

zbMATH Keywords

semiringDPLLmarginalization problem

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (2)

Algebraic model counting ⋮ Filter-embedding semiring fusion for programming with MapReduce

Uses Software

• MiniMaxSat

This page was built for publication: Semiring-Induced Propositional Logic: Definition and Basic Algorithms