scientific article

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.

zbMATH Keywords

Max-SAT problem instances

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (7)

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

• Pueblo
• ABACUS

This page was built for publication: