Sciweavers

726 search results - page 12 / 146
» A Framework for Constraint Programming Based Column Generati...
Sort
View
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
14 years 23 days ago
An Enhanced Framework for Microprocessor Test-Program Generation
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
Fulvio Corno, Giovanni Squillero
CP
2008
Springer
13 years 9 months ago
Semi-automatic Generation of CHR Solvers for Global Constraints
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
Frank Raiser
HPDC
2003
IEEE
14 years 25 days ago
Using Views for Customizing Reusable Components in Component-Based Frameworks
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
Anca-Andreea Ivan, Vijay Karamcheti
LPNMR
2007
Springer
14 years 1 months ago
CPP: A Constraint Logic Programming Based Planner with Preferences
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
Phan Huy Tu, Tran Cao Son, Enrico Pontelli
CONSTRAINTS
2011
13 years 2 months ago
Dantzig-Wolfe decomposition and branch-and-price solving in G12
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace...