Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
From MaRDI portal
Publication:2506238
DOI10.1007/s10732-006-8248-zzbMath1125.90041OpenAlexW1969632617MaRDI QIDQ2506238
Federico Heras, Javier Larrosa
Publication date: 28 September 2006
Published in: Journal of Heuristics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10732-006-8248-z
Related Items (6)
A logical approach to efficient Max-SAT solving ⋮ A Max-SAT Inference-Based Pre-processing for Max-Clique ⋮ On Inconsistent Clause-Subsets for Max-SAT Solving ⋮ Combining VNS with constraint programming for solving anytime optimization problems ⋮ Solving (Weighted) Partial MaxSAT through Satisfiability Testing ⋮ ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
Cites Work
- Maintaining reversible DAC for Max-CSP
- Radio link frequency assignment
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- Reduction operations in fuzzy or valued constraint satisfaction
- Semiring-based constraint satisfaction and optimization
- Principles and Practice of Constraint Programming – CP 2003
This page was built for publication: Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
