Litcius/Paper detail

Introduction to Optimization

Keith D. Cooper, Linda Torczon

2022Elsevier eBooks91 citationsDOI

Topics & Concepts

Computer scienceLogic, programming, and type systemsParallel Computing and Optimization TechniquesFormal Methods in Verification