Pages that link to "Item:Q2506238"
From MaRDI portal
The following pages link to Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP (Q2506238):
Displaying 6 items.
- Combining VNS with constraint programming for solving anytime optimization problems (Q932188) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- A Max-SAT Inference-Based Pre-processing for Max-Clique (Q3502702) (← links)
- On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061) (← links)
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing (Q3637178) (← links)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
