An Extended Axiomatization of Branch-and-Bound Algorithms

Research output: Book/Report › Report › Communication

  • Jens Clausen
  • M. Gengler
DIKU-rapport 96/36
Original languageEnglish
Place of PublicationDatalogisk Institut, Københavns Universitet
Publication statusPublished - 1996

ID: 23170