Transformation of propositional calculus statements into integer and mixed integer programs
Subtitle: an approach towards automatic reformulation
By: E.Hadjiconstantinou and G. Mitra.
Contributors: Mitra, Gautam.
Edition: "Revised April 1991.".
Series: TR/11/90
Publisher: Brunel University, Department of Mathematics and Statistics
Published: 1991
Place of publication: Uxbridge
Language: eng
Number of pages: 28
Notes: First published November 1990.