Concepedia

Logic-based Benders decomposition

John Hooker, Greger Ottosson

Mathematical Programming · 2003 · 577 citations · 38 references

DOIFull text

Open access

References

38

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

, , +4

Partitioning procedures for solving mixed-variables programming problems

J. F. Benders · Numerische Mathematik · 1962 · 3.8K citations

, , +7

Generalized Benders decomposition

Arthur M. Geoffrion · Journal of Optimization Theory and Applications · 1972 · 2.5K citations

The Problem of Simplifying Truth Functions

W. V. Quine · American Mathematical Monthly · 1952 · 801 citations

, , +11

A Way to Simplify Truth Functions

W. V. Quine · American Mathematical Monthly · 1955 · 572 citations

, , +6