Recent trends in planning research have led to empirical comparison becoming
commonplace. The field has started to settle into a methodology for such comparisons …

Tabu search is one of the most effective heuristics for locating high-quality solutions to a
diverse array of NP-hard combinatorial optimization problems. Despite the widespread …

In Verification and in (optimal) AI Planning, a successful method is to formulate the
application as boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based …

Abstract Service robots have the potential of improving the quality of life and assist with
people's daily activities. Such robots must be capable of operating over long periods of time …

Recent trends in planning research have led to empirical comparison becoming
commonplace. The eld has started to settle into a methodology for such comparisons, which …

Hierdie tesis is'n gevallestudie wat fokus op twee probleme wat algemeen voorkom by
vervaardigingsaanlegte: die opstel van'n optimale fabrieksuitleg (vloerplan vir die plasing …

Application of scheduling technologies lag significantly behind the state of the art. This
project investigated two contributors to this lag. First, researchers do not know what makes …

Abstract Service robots have great potential for improving the quality of life and assisting
with people's daily activities. Such robots must be capable of performing multiple tasks and …

Curriculum Vita Adele E. Howe Department of Computer Science Colorado State University, Ft.
Collins, CO 80523 (970) 491-4192, em Page 1 Curriculum Vita Adele E. Howe Department of …

Abstract The United States Air Force has put an increased emphasis on the timely delivery of
precision weapons. Part of this effort has been to us multiple bay aircraft such the B-1B …