Tools for reformulating logical forms into zero-one mixed integer programs

Publisher Website

27 January 1994

journal article
Published by Elsevier in European Journal of Operational Research

Vol. 72 (2) , 262-276
https://doi.org/10.1016/0377-2217(94)90308-5

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

Constructing integer programming models by the predicate calculus
Annals of Operations Research, 1989
Computer-Assisted Mathematical Programming (Modelling) System: CAMPS
The Computer Journal, 1988
A quantitative approach to logical inference
Decision Support Systems, 1988
Maintaining knowledge about temporal intervals
Communications of the ACM, 1983
UIMP: User Interface for Mathematical Programming
ACM Transactions on Mathematical Software, 1982
On the development of a general algebraic modeling system in a strategic planning environment
Published by Springer Nature ,1982
A language and a program for stating and solving combinatorial problems
Artificial Intelligence, 1978
Analysis of mathematical programming problems prior to applying the simplex algorithm
Mathematical Programming, 1975
Experiments in the formulation of integer programming problems
Published by Springer Nature ,1974