Optimization bounds from decision diagrams in Haddock

DOI10.1007/978-3-031-33271-5_11MaRDI QIDQ6057257

No author found.

Publication date: 4 October 2023

Published in: Integration of Constraint Programming, Artificial Intelligence, and Operations Research (Search for Journal in Brave)

zbMATH Keywords

decision diagramsconstraint programming systemsoptimization bounds

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Operations research and management science (90Bxx)

Cites Work

• Decision diagrams for optimization
• Introducing global constraints in CHIP
• Improving the filtering of branch-and-bound MDD solver
• MiniCP: a lightweight solver for constraint programming
• The feasibility pump
• Discrete Optimization with Decision Diagrams
• Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
• TSPLIB—A Traveling Salesman Problem Library
• Formal verification of parallel programs
• Search and strategies in OPL
• Principles and Practice of Constraint Programming – CP 2004