Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
From MaRDI portal
Publication:5898782
DOI10.1007/11757375zbMath1177.68186OpenAlexW4298795079MaRDI QIDQ5898782
Willem-Jan van Hoeve, Lucian Leahu, Carla P. Gomes
Publication date: 30 April 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11757375
Semidefinite programming (90C22) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (5)
Alternating control tree search for knapsack/covering problems ⋮ Semidefinite Programming and Constraint Programming ⋮ A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem ⋮ ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver ⋮ Iterative and core-guided maxsat solving: a survey and assessment
Uses Software
This page was built for publication: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
