Checking constraint satisfaction

DOI10.1007/978-3-030-78230-6_21OpenAlexW3171026818MaRDI QIDQ2117234

Victor Jung, Jean-Charles Régin

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78230-6_21

zbMATH Keywords

inclusionconstraint learningmulti-valued decision diagram

Mathematics Subject Classification ID

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

Related Items (2)

Dealing with the product constraint ⋮ Decision Diagrams for Discrete Optimization: A Survey of Recent Advances

Cites Work

• Decision diagrams for optimization
• Introducing global constraints in CHIP
• Acquiring Parameters of Implied Global Constraints
• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: Checking constraint satisfaction