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)

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

Describes a project that uses

Uses Software

• Chaff
• MiniMaxSat

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)