A Preprocessor for Max-SAT Solvers

DOI10.1007/978-3-540-79719-7_2MaRDI QIDQ3502688zbMATH OpenOpenAlexFDO

Authors Josep Argelich, Chu-Min Li, Felip Manya

Publication date 27 May 2008

Published in Theory and Applications of Satisfiability Testing – SAT 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-79719-7_2

Mathematics Subject Classification ID

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

Recommendations

• SAT-based preprocessing for MaxSAT
• A logical approach to efficient Max-SAT solving
• SAT-based MaxSAT algorithms
• On preprocessing for weighted MaxSAT
• A proof builder for Max-SAT
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Theory and Applications of Satisfiability Testing

Cites work

• A Complete Calculus for Max-SAT
• Exact Max-SAT solvers for over-constrained problems
• Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
• scientific article; zbMATH DE number 5226464 (Why is no real title available?)
• Local Consistency in Weighted CSPs and Inference in Max-SAT
• Minimaxsat: an efficient weighted Max-SAT solver
• On Solving the Partial MAX-SAT Problem
• Theory and Applications of Satisfiability Testing

Cited in

(12)

• On preprocessing for weighted MaxSAT
• CHAMP: a multipass algorithm for Max Sat based on saver variables
• Combining preorder and postorder resolution in a satisfiability solver
• SAT-based preprocessing for MaxSAT
• A Max-SAT Inference-Based Pre-processing for Max-Clique
• Subsumed label elimination for maximum satisfiability
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Improving plan execution flexibility using block-substitution

This page was built for publication: A Preprocessor for Max-SAT Solvers

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