22 search results - page 5 / 5 » Multiple-Source Shortest Paths in Embedded Graphs |
CONSTRAINTS
2006
13 years 4 months ago
2006
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
POPL
2010
ACM
14 years 1 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...