Sciweavers

2944 search results - page 20 / 589
» Improving Bound Propagation
Sort
View
CORR
2012
Springer
224views Education» more  CORR 2012»
12 years 3 months ago
On Approximation Lower Bounds for TSP with Bounded Metrics
We develop a new method for proving explicit approximation lower bounds for TSP problems with bounded metrics improving on the best up to now known bounds. They almost match the b...
Marek Karpinski, Richard Schmied
SIGSOFT
2008
ACM
14 years 8 months ago
Asynchronous exception propagation in blocked tasks
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
Roy Krischer, Peter A. Buhr
CP
2007
Springer
14 years 1 months ago
GAC Via Unit Propagation
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
Fahiem Bacchus
VTC
2008
IEEE
153views Communications» more  VTC 2008»
14 years 1 months ago
Analytical Model for Message Propagation in Delay Tolerant Vehicular Ad Hoc Networks
–In this paper we present an analytical model for delay tolerant message propagation in a dynamic vehicular network. The analysis provides upper and lower bounds for message prop...
Ashish Agarwal, David Starobinski, Thomas D. C. Li...
AAAI
2010
13 years 9 months ago
Propagating Conjunctions of AllDifferent Constraints
We study propagation algorithms for the conjunction of two ALLDIFFERENT constraints. Solutions of an ALLDIFFERENT constraint can be seen as perfect matchings on the variable/value...
Christian Bessiere, George Katsirelos, Nina Narody...