Advisor: Stuart M. Shieber Adaptive Tree Search Wheeler Ruml Combinatorial optimization and constraint satisfaction problems are ubiquitous in computer science, arising in areas as diverse as resource allocation, automated design, planning, and logical inference. Finding optimal solutions to such problems often entails searching an intractably large tree of possibilities. Problems beyond the re...