Sciweavers

2864 search results - page 38 / 573
» Constraint Programming in OPL
Sort
View
ICTAI
1996
IEEE
13 years 12 months ago
COMPOzE: Intention-based Music Composition through Constraint Programming
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...
Martin Henz, Stefan Lauer, Detlev Zimmermann
CORR
2010
Springer
101views Education» more  CORR 2010»
13 years 7 months ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...
LISP
2007
124views more  LISP 2007»
13 years 7 months ago
A new generic scheme for functional logic programming with constraints
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
Francisco Javier López-Fraguas, Mario Rodr&...
CPAIOR
2006
Springer
13 years 11 months ago
A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellma...
COR
2006
98views more  COR 2006»
13 years 7 months ago
Exploiting semidefinite relaxations in constraint programming
Constraint programming uses enumeration and search tree pruning to solve combinatorial optimization problems. In order to speed up this solution process, we investigate the use of...
Willem Jan van Hoeve