Logic-Based Methods for Optimization

@inproceedings{Hooker1994LogicBasedMF,
  title={Logic-Based Methods for Optimization},
  author={John N. Hooker},
  booktitle={PPCP},
  year={1994}
}
This tutorial describes a logic based approach to formulating and solving pure and mixed integer programming problems It develops logical counterparts for ideas associated with traditional branch and cut methods such as cutting planes facet de ning cuts re laxations etc The motivations for doing this are a to exploit the structure of a wide range of problems that are too complex for polyhedral analysis b to take advantage of logic processing techniques developed for constraint programming and… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 97 CITATIONS

An Integrated Solver for Optimization Problems

VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Resolution Branch and Bound and an Application: The Maximum Weighted Stable Set Problem

  • Operations Research
  • 2007
VIEW 13 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Logic cuts for multilevel generalized assignment problems

  • European Journal of Operational Research
  • 2003
VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Logic, Optimization, and Constraint Programming

  • INFORMS Journal on Computing
  • 2002
VIEW 10 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On the Sum Constraint: Relaxation and Applications

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Constraint programming and operations research

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Decomposition Methods for the Parallel Machine Scheduling Problem with Setups

  • INFORMS Journal on Computing
  • 2016
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Branch and Bound Algorithm for a Class of Biobjective Mixed Integer Programs

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1995
2019

CITATION STATISTICS

  • 16 Highly Influenced Citations

  • Averaged 4 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

On the use of boolean functions in 0-1 linear programming

F. Granot, P. L. Hammer
  • Methods of Operations Research
  • 1971
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Modeling with integer variables, Mathematical Programming Studies

R. E. Jeroslow, J. K. Lowe
  • 1984
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Generalized resolution for 0–1 linear inequalities

  • Annals of Mathematics and Artificial Intelligence
  • 1992
VIEW 2 EXCERPTS

Similar Papers

Loading similar papers…