920 search results - page 107 / 184 » Generating Satisfiable Problem Instances |
113
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
119
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
114
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— By dividing the multiobjective optimization of the decision space into several small regions, this paper proposes multi-objective optimization algorithm based on sub-regional s...
172
Voted
COR
2011
14 years 7 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
122
Voted
AI
2010
Springer
15 years 26 days ago
2010
Springer
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...