Sciweavers

707 search results - page 86 / 142
» Solving path problems on the GPU
Sort
View
CONSTRAINTS
2006
115views more  CONSTRAINTS 2006»
14 years 12 months ago
A Cost-Regular Based Hybrid Column Generation Approach
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...
JAIR
2006
115views more  JAIR 2006»
14 years 11 months ago
Temporal Planning using Subgoal Partitioning and Resolution in SGPlan
In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong...
Yixin Chen, Benjamin W. Wah, Chih-Wei Hsu
ISAAC
2005
Springer
127views Algorithms» more  ISAAC 2005»
15 years 5 months ago
Decision Making Based on Approximate and Smoothed Pareto Curves
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
Heiner Ackermann, Alantha Newman, Heiko Rögli...
FSTTCS
2008
Springer
15 years 27 days ago
Banach-Mazur Games on Graphs
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
Erich Grädel
STOC
2010
ACM
244views Algorithms» more  STOC 2010»
15 years 9 months ago
Improving Exhaustive Search Implies Superpolynomial Lower Bounds
The P vs NP problem arose from the question of whether exhaustive search is necessary for problems with short verifiable solutions. We do not know if even a slight algorithmic imp...
Ryan Williams