References

[1]   V. Chandru and J.N. Hooker. Optimization Methods for Logical Inference. J. Wiley Sons, Inc., 1999.

[2]   Bertsimas D. and Weismantel R. Optimization over Integers. Dynamic Ideas, Belmont, 2005.

[3]   Meier G. and Düsing R. Zur Modellierung logischer Aussagen ergänzend zu Linearen Programmen, Grundlagen und Entwurfsüberlegungen für einen Modellgenerator. OR-Spektrum, Vol 14, p. 149–160, 1992.

[4]   D. Gries and F.B. Schneider. A Logical Approach to Discrete Math. Springer, p 37, 1994.

[5]   Williams H.P. Logical problems and integer programming. Bull. Inst. Math. Appl., 13:18–20, 1977.

[6]   Williams H.P. Logic and Integer Programming. Springer, 2009.

[7]   Williams H.P. Model Building in Mathematical Programming. John Wiley, Fifth Edition, 2013.

[8]   MatMod. Homepage for Learning Mathematical Modeling :  https://matmod.ch.

[9]   McKinnon and Williams. 1989.

[10]   G. Mitra, C. Lucas, and S. Moody. Tools for reformulation logical forms into zero-one mixed integer programs. European Journal of Operational Research, 72:2:262–276, 1994.

[11]   Barth P. Logic-Based 0-1 Constraint Programming. Kluwer Academic Publishers, p.28, 1996.

[12]   Hürlimann T. Index Notation in Mathematics and Modeling Language LPL: Theory and Exercises. https://matmod.ch/lpl/doc/indexing.pdf.

[13]   Hürlimann T. Reference Manual for the LPL Modeling Language, most recent version. https://matmod.ch/lpl/doc/manual.pdf.

[14]   Hürlimann T. Various Model Types. https://matmod.ch/lpl/doc/variants.pdf.