13841 search results - page 238 / 2769 » Algorithms and Constraint Programming |
162
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
A soft global constraint SOFTPREC has been proposed recently for solving optimisation problems involving precedence relations. In this paper we present new pruning rules for this g...
173
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
141
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
181
Voted
HEURISTICS
2002
15 years 6 months 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...
163
click to vote
INFSOF
1998
15 years 6 months 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...