Brand-and-bound search ([Report] / University of Texas at Austin. Artificial Intelligence Laboratory)