Query-guided maximum satisfiability
From MaRDI portal
Publication:2828249
optimizationinformation retrievalprogram analysismaximum satisfiabilitypartial modelquery-guided approach
Information storage and retrieval of data (68P20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Recommendations
- Quantified maximum satisfiability: a core-guided approach
- Quantified maximum satisfiability
- QMaxSAT: A partial Max-SAT solver
- Generalizing Core-Guided Max-SAT
- Unifying reasoning and core-guided search for maximum satisfiability
- QMaxSATpb: a certified MaxSAT solver
- MAX-closed semilinear constraint satisfaction
- On the Approximation of Maximum Satisfiability
- Approximating Succinct MaxSat
- SAT-based MaxSAT algorithms
Cited in
(4)
This page was built for publication: Query-guided maximum satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828249)