Connections Between Integer Linear Programming and Constraint Logic Programming—An Overview and Introduction to the Cluster of Articles
Published Online:1 Aug 1998https://doi.org/10.1287/ijoc.10.3.261
References
- Some Lessons in Solving Practical Integer Programs. Journal of the Operational Research Society (1992) 43 425 433 Crossref, Google Scholar
- Some Results and Experiments in Programming Techniques for Propositional Logic. Computers ∧ Operations Research (1988) 13 633 645 Crossref, Google Scholar
- , Montanari U. , Rossi F. The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. Principles and Practice of Constraint Programming—CP95 (1995) (Springer Verlag, Berlin) 36 52 Google Scholar
- An Introduction to Prolog III. Communications of the ACM (1990) 33 69 90 Crossref, Google Scholar
- On the Use of Boolean Functions in 0-1 Programming. Methods of Operations Research (1972) 12 154 184 Google Scholar
- Introduction of a New Class of Variables to Discrete and Integer Programming Problems. (1996) . Research Report, IC-Parc, Imperial College, London, available at [email protected] Google Scholar
- A Quantitative Approach to Logical Inference. Decision Support Systems (1988a) 4 45 69 Crossref, Google Scholar
- Generalized Resolution and Cutting Planes. Annals of Operations Research (1988b) 12 217 239 Crossref, Google Scholar
- , Woodruff D. L. Constraint Satisfaction Methods for Generating Valid Cuts. Advances in Computational and Stochastic Optimization, Logic Programming and Heuristic Search (1998) (Kluwer Academic Publishers, Boston) 1 30 Crossref, Google Scholar
- Constraint Logic Programming: A Survey. Journal of Logic Programming (1994) 19 503 581 Crossref, Google Scholar
- Logic-Based Decision Support, Mixed Integer Model Formulation. Annals of Discrete Mathematics (monograph) (1989) (North Holland, Amsterdam) Google Scholar
- Solving Propositional Satisfiability Problems. Annals of Mathematics and AI (1990) 1 167 187 Google Scholar
- An Automatic Method for Solving Discrete Programming Problems. Econometrica (1960) 28 497 520 Crossref, Google Scholar
- The Significance of Constraint Logic Programming to Operational Research. Tutorial Papers, 37th Annual Conference of the Operational Research Society (1995) University of Kent, Canterbury, England 20 45 Google Scholar
- Constructing Integer Programming Models by the Predicate Calculus. Annals of Operations Research (1989) 21 227 246 Crossref, Google Scholar
- ILP and Constraint Programming Approaches to a Template Design Problem. INFORMS Journal on Computing (1998) . this issue Google Scholar
- Comparing Constraint Programming and MILP. (1995) Presented at Applied Mathematical Modelling Conference 1995 (APMOD95) Brunel University, England Google Scholar
- . Sciconic, EDS, Wavendon Tower, Milton Keynes, MK17 8LX, England Google Scholar
- Foundations of Constraint Satisfaction (1994) (Wiley, Chichester, England) Google Scholar
- Constraint Satisfaction in Logic Programming (1989) (MIT Press, London) Google Scholar
- Valid Inequalities for Mixed 0-1 Programs. Discrete Applied Mathematics (1986) 14 199 213 Crossref, Google Scholar
- Logical Problems and Integer Programming. Bulletin of the Institute of Mathematics and its Applications (1977) 13 18 20 Google Scholar
- Logic Applied to Integer Programming and Integer Programming Applied to Logic. European Journal of Operational Research (1995) 81 605 616 Crossref, Google Scholar
- Boolean Simplification and Integer Inequalities. Computer Journal (1977) 20 356 358 Crossref, Google Scholar
- Compact Normal Forms in Propositional Logic and Integer Programming Formulations. Computers ∧ Operations Research (1990a) 15 309 314 Crossref, Google Scholar
- The Formulation and Solution of Logical Puzzles and Some Implications for Artificial Intelligence. Bulletin of the Institute of Mathematics and its Applications (1990b) 26 86 90 Google Scholar
- . XPRESS-MP, Dash Associates Ltd, Blisworth, Northamptonshire NN7 3BX, England Google Scholar
