Pages that link to "Item:Q2506238"

The following pages link to Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP (Q2506238):

Displayed 5 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)