Title: Global Optimization and Constraint Satisfaction
Subjects: Logic design, Electronic data processing, Computer science, Data processing, Algebra