Compact normal forms in propositional logic and integer programming formulations

Future paths for integer programming and links to artificial intelligence

1986 • 3,927 citations

Model Building in Mathematical Programming

1979 • 1,303 citations

Logic for problem solving

1982 • 1,224 citations

On the Complexity of Derivation in Propositional Calculus

1983 • 1,158 citations

Modelling with integer variables

1984 • 165 citations

Some results and experiments in programming techniques for propositional logic

1986 • 128 citations

Model Building in Mathematical Programming

1979 • 68 citations

Linear and integer programming applied to the propositional calculus

1987 • 55 citations

Experimental Results on the New Techniques for Integer Programming Formulations

1985 • 47 citations