Progression in maximum satisfiability

MaRDI QIDQ5283008zbMATH OpenFDO

Authors A. A. Ignatiev, Antonio Morgado, Inês Lynce, Vasco Manquinho, Joao Marques-Silva

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36982

Mathematics Subject Classification ID

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

Recommendations

• Iterative and core-guided maxsat solving: a survey and assessment
• Improvements to core-guided binary search for MaxSAT
• Generalizing Core-Guided Max-SAT
• Cores in core based MaxSat algorithms: an analysis
• On using incremental encodings in unsatisfiability-based MaxSAT solving

Cited in

(14)

• Minimal sets on propositional formulae. Problems and reductions
• Maximum satisfiability in software analysis: applications and techniques
• Unifying reasoning and core-guided search for maximum satisfiability
• Iterative and core-guided maxsat solving: a survey and assessment
• Quantified maximum satisfiability
• Improvements to core-guided binary search for MaxSAT
• Cores in core based MaxSat algorithms: an analysis
• Exploiting resolution-based representations for MaxSAT solving
• SAT-Based Formula Simplification
• SAT-Based Horn Least Upper Bounds
• Generalizing Core-Guided Max-SAT
• Using merging variables-based local search to solve special variants of MaxSAT problem
• On using incremental encodings in unsatisfiability-based MaxSAT solving
• RC2: an efficient MaxSAT solver

This page was built for publication: Progression in maximum satisfiability

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