Constructing integer programming models by the predicate calculus

Abstract
No abstract available