DOE OSTI2012Scheduling Nuclear Weapon Stockpile Transformation.Abstract not provided.McNamara, Laura A.↗
DOE OSTI2011Towards Certficates for Integer Programming Computations.Abstract not provided.Carr, Robert D.↗