The following pages link to (Q3604009):
Displaying 7 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- Reformulation based MaxSat robustness (Q487654) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- Optimizing with minimum satisfiability (Q1761303) (← links)
- Incomplete inference for graph problems (Q1947627) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form (Q2938491) (← links)