Pages that link to "Item:Q3524230"
From MaRDI portal
The following pages link to Local Consistency in Weighted CSPs and Inference in Max-SAT (Q3524230):
Displayed 9 items.
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- Exploiting Cycle Structures in Max-SAT (Q3637180) (← links)
- Approximate Counting with Deterministic Guarantees for Affinity Computation (Q5357750) (← links)