The following pages link to (Q5283008):
Displaying 8 items.
- Quantified maximum satisfiability (Q272016) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- SAT-Based Formula Simplification (Q3453233) (← links)
- SAT-Based Horn Least Upper Bounds (Q3453244) (← links)
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)
- On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving (Q5015594) (← links)
- RC2: an Efficient MaxSAT Solver (Q5015603) (← links)
