zbMATH — the first resource for mathematics

Tools for reformulating logical forms into zero-one mixed integer programs. (English) Zbl 0800.90719

90C11 Mixed integer programming
90C09 Boolean programming
90C05 Linear programming
68N15 Theory of programming languages
Full Text: DOI
[1] Allen, J.F., Maintaining knowledge about temporal intervals, Communications of the ACM, 26, 832-843, (1983) · Zbl 0519.68079
[2] BNR-PROLOG, Bell northern research, prolog language description, (1988), Version 1.0, Ottawa, Canada
[3] Brown, R.G.; Chinneck, J.W.; Karam, G.M., Optimization with constraint programming systems, (), 463-473
[4] Bisschop, J.; Fourer, R., New constructs for the description of combinatorial optimization problem in algebraic modelling languages, (), to appear in · Zbl 0852.90114
[5] Bisschop, J.; Meeraus, A., On the development of a general algebraic modelling system in a strategic planning environment, Mathematical programming study, 20, (1982)
[6] Bell Northern Research, Prolog language description, (1988), Version 1.0, Ottawa, Canada
[7] Brearley, A.L.; Mitra, G.; Williams, H.P., Analysis of mathematical programming problems prior to applying the simplex algorithm, Mathematical programming, 8, 54-83, (1975) · Zbl 0317.90037
[8] Buchanan, B.G.; Shortlife, E.H., Rule based expert systems: the MYCIN experiments of the heuristic programming project, (1984), Addison-Wesley Reading, MA
[9] Church, A., Introduction to mathematical logic, Annals of mathematical studies, 13, (1944), Part 1 · Zbl 0060.02007
[10] Colmerauer, A., Opening the PROLOG III universe, Byte magazine, (1987), August 1987
[11] Ellison, E.F.D.; Mitra, G., UIMP: user interface for mathematical programming, ACM transactions on mathematical software, 8/3, 229-255, (1982) · Zbl 0485.68027
[12] Fourer, R.; Gay, D.M.; Kernighan, B.W., AMPL: A mathematical programming language, ()
[13] Geoffrion, A.M., The SML language for structured modeling, () · Zbl 0825.90666
[14] Greenberg, H.J., A primer for MODLER: modeling by object-driven linear element relationships, (1990), Mathematics Department, University of Colorado at Denver
[15] Greenberg, H.J., A comparison of mathematical programming modelling systems, (1991), Mathematics Department, University of Colorado at Denver
[16] Hentenryck, P.V., Constraint satisfaction in logic programming, (1989), MIT Press Cambridge, MA
[17] Hooker, J.N., A quantitative approach to logical inference, Decision support systems, 4, 45-69, (1988)
[18] Hürlimann, T., Reference manual for the LPL modeling language (version 3.5), ()
[19] Lassez, C., Constraint logic programming, Byte magazine, 171-176, (1987), August 1987
[20] Lauriere, J.L., A language and a program for stating and solving combinatorial problems, Artificial intelligence, 10, 29-127, (1978) · Zbl 0374.68060
[21] Lucas, C.; Mitra, G., Computer-assisted mathematical programming (modelling) system: CAMPS, The computer journal, 31/4, 364-376, (1988)
[22] Lucas, C.; Mitra, G.; Moody, S., Tools for reformulating logical forms into zero-one mixed integer programs (MIPS), (1992), Department of Mathematics and Statistics, Brunel University TR/O3/92
[23] Lukasiewicz, J., Elements of mathematics logic, (1963), Pergamon Press Oxford, (English translation from Polish) · Zbl 0126.00705
[24] Maximal Software, ()
[25] Simonnard, M., Linear programming, (1966), Prentice-Hall Englewoods Cliffs, NY · Zbl 0154.19506
[26] Steiger, D.; Sharda, R.; Steiger, D.; Sharda, R., LP modelling languages for personal computers: A comparison, () · Zbl 0800.90687
[27] Williams, H.P., Experiments in the formulation of integer programming problems, Mathematical programming study, 2, (1974) · Zbl 0353.90062
[28] Williams, H.P., Linear and integer programming applied to the propositional calculus, International journal of systems research and information science, 2, 81-100, (1987)
[29] Williams, H.P.; McKinnon, K.I.M., Constructing integer programming model by the predicate calculus, Annals of operations research, 21, 227-246, (1989) · Zbl 0705.90062
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.