2861 search results - page 2 / 573 » Constraint Programming |
ESOP
1999
Springer
13 years 9 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
CP
2005
Springer
13 years 11 months ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
CP
2004
Springer
13 years 10 months ago
2004
Springer
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
CP
2005
Springer
13 years 11 months ago
2005
Springer
