Logic and Integer Programming More Books Like This

SAT 2005 SAT 2005
2007
System Modeling and Optimization System Modeling and Optimization
2014
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
2012
Complexity Theory and Cryptology Complexity Theory and Cryptology
2006
Fundamentals of the Theory of Computation Fundamentals of the Theory of Computation
1998