Pages that link to "Item:Q2870118"
From MaRDI portal
The following pages link to SAT-Based Preprocessing for MaxSAT (Q2870118):
Displaying 6 items.
- Quantified maximum satisfiability (Q272016) (← links)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772) (← links)
- Clause redundancy and preprocessing in maximum satisfiability (Q2104499) (← links)
- LMHS: A SAT-IP Hybrid MaxSAT Solver (Q2818041) (← links)
- Speeding up MUS Extraction with Preprocessing and Chunking (Q3453206) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)