The following pages link to A Complete Calculus for Max-SAT (Q5756577):
Displaying 9 items.
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- Resolution-based lower bounds in MaxSAT (Q606913) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- A proof builder for Max-SAT (Q2118341) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- Boosting branch-and-bound MaxSAT solvers with clause learning (Q5106262) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
