Efficient solution of linear diophantine equations

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.7K citations

Natural Sciences, Computer Science, Mathematics +12

Theory of linear and integer programming

Mathematics and Computers in Simulation · 1987 · 505 citations · Full text

Natural Sciences, Computer Science, Mathematics +12

Complete Sets of Reductions for Some Equational Theories

Gerald E. Peterson, Mark E. Stickel · Journal of the ACM · 1981 · 413 citations · Full text

Natural Sciences, Mathematics, Discrete Mathematics +7

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

James R. Slagle · Journal of the ACM · 1974 · 256 citations · Full text

Natural Sciences, Computer Science, Mathematics +13

A Unification Algorithm for Associative-Commutative Functions

Mark E. Stickel · Journal of the ACM · 1981 · 243 citations · Full text

Computing, Computer Science, Mathematics +6