Computationally hard search and optimization problems are ubiquitous in science, engineering and
business. Examples include drug design, protein folding, phylogeny reconstruction, hardware and
software design, test generation and verification, planning, timetabling, scheduling and on and on. In
rare cases, practical application-specific software exists, but most often development of successful
methods requires hiring specialists, and often significant time and expense, to apply one or more