920 search results - page 85 / 184 » Generating Satisfiable Problem Instances |
117
Voted
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
This paper deals with the generation of balanced incomplete block designs (BIBD), a hard constrained combinatorial problem with multiple applications. This problem is here formulat...
110
click to vote
IJIT
2004
15 years 2 months ago
2004
In this paper, the problem of finding the optimal collision free path for a mobile robot, the path planning problem, is solved using an advanced evolutionary algorithm called memet...
122
Voted
COR
2007
15 years 20 days ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
107
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
99
Voted
EUROGP
2000
Springer
15 years 4 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...