Title: Transformation of propositional calculus statements into integer and mixed integer programs
First published: 1991