116 search results - page 1 / 24 » Dominion -- A constraint solver generator |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
CP
2008
Springer
13 years 7 months ago
2008
Springer
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...
CAV
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
CORR
2004
Springer
13 years 5 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
WSCG
2003
13 years 6 months ago
2003
Old Dominion University (ODU) has been performing research in the area of training using virtual environments. The research involves both computer controlled agents and human part...