Kodiak : an implementation framework for branch and bound algorithms / / Andrew P. Smith [and three others]

• Record Nr.: UNINA9910703962603321
• Autore: Smith Andrew P.
• Pubbl/distr/stampa: Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2015
• Descrizione fisica: 1 online resource (iii, 18 pages) : color illustration
• Collana: NASA/TM ; ; 2015-218776
• Soggetti: Program verification (computers); Rational functions; Polynomials; Software engineering; Heuristic methods
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Title from title screen (viewed Sept. 15, 2015).; "July 2015."
• Nota di bibliografia: Includes bibliographical references (pages 16-17).