Kodiak : an implementation framework for branch and bound algorithms /

Bibliographic Details

Main Author:	Smith, Andrew P. (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, July 2015.
Series:	NASA technical memorandum ; 2015-218776.
Subjects:	Program verification (computers) Rational functions. Polynomials. Software engineering. Heuristic methods.
Online Access:	https://purl.fdlp.gov/GPO/gpo60792 http://purl.fdlp.gov/GPO/gpo60792