The following pages link to Quantified maximum satisfiability (Q272016):
Displaying 8 items.
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- SAT-based rigorous explanations for decision lists (Q2118305) (← links)
- Computing smallest MUSes of quantified Boolean formulas (Q2694579) (← links)
- Query-guided maximum satisfiability (Q2828249) (← links)
- SAT-Based Formula Simplification (Q3453233) (← links)
- Maximum Constraint Satisfaction on Diamonds (Q3524191) (← links)
- (Q5101345) (← links)
- Efficiently explaining CSPs with unsatisfiable subset optimization (Q6535423) (← links)