Handbook on Modelling for Discrete Optimization Handbook on Modelling for Discrete Optimization
2006
Logic and Integer Programming Logic and Integer Programming
2009