Abstract
DIKU-rapport 96/36
| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Datalogisk Institut, Københavns Universitet |
|---|---|
| Status | Udgivet - 1996 |
An Extended Axiomatization of Branch-and-Bound Algorithms
Jens Clausen, M. Gengler
Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling