scientific article
From MaRDI portal
Publication:3604009
zbMath1159.68565MaRDI QIDQ3604009
Javier Larrosa, Federico Heras, Thomas Schiex, Simon de Givry
Publication date: 24 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form, WPM3: an (in)complete algorithm for weighted partial MaxSAT, Boolean lexicographic optimization: algorithms \& applications, Incomplete inference for graph problems, Reformulation based MaxSat robustness, Optimizing with minimum satisfiability, Iterative and core-guided maxsat solving: a survey and assessment
Uses Software