238 search results - page 12 / 48 » Planning as Satisfiability |
WECWIS
2002
IEEE
14 years 2 months ago
2002
IEEE
The current situation in the Internet service provider market shows that Internet service providers (ISPs) are still struggling to find sustainable business models. The challenge ...
CP
2010
Springer
13 years 7 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
REFSQ
2007
Springer
14 years 3 months ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
We present deterministic sequences for use in sampling-based approaches to motion planning. They simultaneously combine the qualities found in many other sequences: i) the increme...