Pages that link to "Item:Q5713725"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5713725):
Displayed 11 items.
- Improving exact algorithms for MAX-2-SAT (Q812398) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- Solving the weighted MAX-SAT problem using the dynamic convexized method (Q2439524) (← links)
- Exact Max-SAT solvers for over-constrained problems (Q2506236) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- A Max-SAT Inference-Based Pre-processing for Max-Clique (Q3502702) (← links)
- On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061) (← links)
- Exact Algorithms for MAX-SAT (Q4916231) (← links)
- Boosting branch-and-bound MaxSAT solvers with clause learning (Q5106262) (← links)