Improving Unsatisfiability-Based Algorithms for Boolean Optimization

DOI10.1007/978-3-642-14186-7_16MaRDI QIDQ4930588zbMATH OpenOpenAlexFDO

Authors Ruben Martins, Inês Lynce, Vasco Manquinho

Publication date 29 September 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-14186-7_16

Mathematics Subject Classification ID

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

Recommendations

• Satisfiability-based algorithms for Boolean optimization
• Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
• Search techniques for SAT-based Boolean optimization
• scientific article; zbMATH DE number 1903342
• scientific article; zbMATH DE number 2090309
• scientific article; zbMATH DE number 38107
• scientific article; zbMATH DE number 776082
• Improved algorithms for the general exact satisfiability problem
• Optimization, randomized approximability, and Boolean constraint satisfaction problems
• Boolean constraint satisfaction: Complexity results for optimization problems with arbitrary weights

Cited in

(10)

• Dynamic symmetry-breaking for Boolean satisfiability
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 2090309 (Why is no real title available?)
• Satisfiability-based algorithms for Boolean optimization
• Iterative and core-guided maxsat solving: a survey and assessment
• An overview of parallel SAT solving
• scientific article; zbMATH DE number 1903342 (Why is no real title available?)
• Algorithms for Weighted Boolean Optimization
• New core-guided and hitting set algorithms for multi-objective combinatorial optimization
• Exploiting subproblem optimization in SAT-based maxsat algorithms

Describes a project that uses

Uses Software

• PicoSAT
• Pueblo

This page was built for publication: Improving Unsatisfiability-Based Algorithms for Boolean Optimization

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