A modeling layer for constraint-programming libraries
From MaRDI portal
Recommendations
- Constraint programming for modelling and solving modal satisfiability
- Extending an algebraic modeling language to support constraint programming
- Models for concurrent constraint programming
- Models and tools for improving efficiency in constraint logic programming
- scientific article; zbMATH DE number 1615250
- scientific article; zbMATH DE number 2080550
- Logic programs with stable model semantics as a constraint programming paradigm
- scientific article; zbMATH DE number 2111989
Cited in
(11)- Logic Based Program Synthesis and Transformation
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Modeler
- Modeling with metaconstraints and semantic typing of variables
- scientific article; zbMATH DE number 1975620 (Why is no real title available?)
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- scientific article; zbMATH DE number 5942124 (Why is no real title available?)
- scientific article; zbMATH DE number 1686281 (Why is no real title available?)
- Search and strategies in OPL
- A Module-Based Framework for Multi-language Constraint Modeling
- Using solution properties within an enumerative search to solve a sports league scheduling problem
This page was built for publication: A modeling layer for constraint-programming libraries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892256)
