01645nam 2200481I 450 991070396260332120150915155306.0(CKB)5470000002436114(OCoLC)921193874(EXLCZ)99547000000243611420150915j201507 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierKodiak an implementation framework for branch and bound algorithms /Andrew P. Smith [and three others]Hampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,July 2015.1 online resource (iii, 18 pages) color illustrationNASA/TM ;2015-218776Title from title screen (viewed Sept. 15, 2015)."July 2015."Includes bibliographical references (pages 16-17).Kodiak Program verification (computers)nasatRational functionsnasatPolynomialsnasatSoftware engineeringnasatHeuristic methodsnasatProgram verification (computers)Rational functions.Polynomials.Software engineering.Heuristic methods.Smith Andrew P.1386886Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910703962603321Kodiak3436188UNINA