2864 search results - page 137 / 573 » Constraint Programming in OPL |
SNPD
2003
13 years 10 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
CP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
PPSN
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
CP
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...