The first and second Max-SAT evaluations

MaRDI QIDQ3604010zbMATH OpenFDO

Authors Josep Argelich, Chu-Min Li, Felip Manya, Jordi Planes

Publication date 24 February 2009

zbMATH Keywords

empirical evaluationsolversweighted partial Max-SATweighted Max-SAT

Mathematics Subject Classification ID

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

Recommendations

• 2006 and 2007 Max-SAT evaluations: contributed instances
• scientific article; zbMATH DE number 5139165
• SAT competition 2020
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing

Cited in

(20)

• An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
• Resolution-based lower bounds in MaxSAT
• A taxonomy of exact methods for partial Max-SAT
• Efficient Learning of Interpretable Classification Rules
• Optimizing with minimum satisfiability
• Simple approximation algorithms for balanced MAX~2SAT
• A Max-SAT Inference-Based Pre-processing for Max-Clique
• 2006 and 2007 Max-SAT evaluations: contributed instances
• scientific article; zbMATH DE number 7306863 (Why is no real title available?)
• New local search methods for partial MaxSAT
• Probabilistic characterization of random Max r-Sat
• An abstract view on optimizations in SAT and ASP
• Reformulation based MaxSat robustness
• Incomplete inference for graph problems
• An abstract view on optimizations in propositional frameworks
• Go-MOCE: greedy order method of conditional expectations for Max Sat
• On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
• Algorithms for Weighted Boolean Optimization
• Generalizing Core-Guided Max-SAT
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing

Describes a project that uses

Uses Software

• MiniMaxSat
• Chaff

This page was built for publication: The first and second Max-SAT evaluations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3604010)