7092 search results - page 228 / 1419 » Parallelizing constraint programs |
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
111
click to vote
HEURISTICS
2002
15 years 9 days ago
2002
This paper presents operators searching large neighborhoods in order to solve the vehicle routing problem. They make use of the pruning and propagation techniques of constraint pr...
89
Voted
INFSOF
1998
15 years 6 days ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
91
Voted
APIN
2002
15 years 12 days ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
92
Voted
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...