Constructions and In-Place Operations for MDDs Based Constraints

DOI10.1007/978-3-319-33954-2_20zbMath1475.68354OpenAlexW2470093747MaRDI QIDQ2815112

Guillaume Perez, Jean-Charles Régin

Publication date: 27 June 2016

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-33954-2_20

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

Constraint programming and operations research ⋮ Decision Diagrams for Discrete Optimization: A Survey of Recent Advances ⋮ Decision Diagram Decomposition for Quadratically Constrained Binary Optimization ⋮ Compiling CP subproblems to MDDs and d-DNNFs ⋮ Graph coloring with decision diagrams

This page was built for publication: Constructions and In-Place Operations for MDDs Based Constraints