scientific article; zbMATH DE number 2032420

zbMath1159.68390MaRDI QIDQ4446268

Brahim Hnich

Publication date: 26 January 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Constraint satisfaction, abstraction, constraint programming, function variables, high-level modelling, reformulation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (6)

Combining Two Structured Domains for Modeling Various Graph Matching Problems ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Global constraint catalogue: past, present and future ⋮ Propagation algorithms for lexicographic ordering constraints ⋮ Automatic generation of redundant models for permutation constraint satisfaction problems ⋮ Essence: A constraint language for specifying combinatorial problems

Uses Software

• Choco

This page was built for publication: