Quantified maximum satisfiability: a core-guided approach

DOI10.1007/978-3-642-39071-5_19MaRDI QIDQ5326468zbMATH OpenOpenAlexFDO

Authors A. A. Ignatiev, Mikoláš Janota, Joao Marques-Silva

Publication date 5 August 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-39071-5_19

Mathematics Subject Classification ID

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

Recommendations

• Quantified maximum satisfiability
• Iterative and core-guided maxsat solving: a survey and assessment
• Improvements to core-guided binary search for MaxSAT
• Generalizing Core-Guided Max-SAT
• Query-guided maximum satisfiability

Cited in

(7)

• Solving QBF with counterexample guided refinement
• Quantified maximum satisfiability
• Query-guided maximum satisfiability
• Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
• SAT-Based Formula Simplification
• Generalizing Core-Guided Max-SAT
• Computing generating sets of minimal size in finite algebras

This page was built for publication: Quantified maximum satisfiability: a core-guided approach

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