1.
Planning and Scheduling by Logic-Based Benders Decomposition
by Hooker, J. N
Operations research, 2007-05-01, Vol.55 (3), p.588-602
2.
Compact representation of near-optimal integer programming solutions
by Serra, Thiago
Mathematical programming, 2019-04-09, Vol.182 (1-2), p.199-232
3.
Combining Equity and Utilitarianism in a Mathematical Programming Model
by HOOKER, J. N
Management science, 2012-09, Vol.58 (9), p.1682-1693
4.
An Integrated Solver for Optimization Problems
by Yunes, Tallys
Operations research, 2010-04, Vol.58 (2), p.342-356
5.
Optimal Design of Truss Structures by Logic-Based Branch and Cut
by Bollapragada, S
Operations research, 2001-01-01, Vol.49 (1), p.42-51
6.
Logic-based Benders decomposition
by HOOKER, J. N
Mathematical programming, 2003, Vol.96 (1), p.33-60
7.
Needed: An Empirical Science of Algorithms
by Hooker, J. N
Operations research, 1994-03-01, Vol.42 (2), p.201-212
8.
Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming
by Dawande, M. W
Operations research, 2000-07-01, Vol.48 (4), p.623-634
9.
Partial Instantiation Methods for Inference in First-Order Logic
by Hooker, J N
Journal of automated reasoning, 2002-05-01, Vol.28 (4), p.371-396
10.
Testing heuristics: We have it all wrong
by Hooker, J. N.
Journal of heuristics, 1995-09, Vol.1 (1), p.33-42
11.
Tight representation of logical constraints as cardinality rules
by HONG YAN
Mathematical programming, 1999, Vol.85 (2), p.363-377
12.
Branching rules for satisfiability
by Hooker, J. N.
Journal of automated reasoning, 1995, Vol.15 (3), p.359-383
13.
A declarative modeling framework that integrates solution methods
by J N Hooker
Annals of operations research, 2001-04-01, Vol.104 (1), p.141
14.
Finite Dominating Sets for Network Location Problems
by Hooker, J. N
Operations research, 1991-01-01, Vol.39 (1), p.100-118
15.
Resolution and the integrality of satisfiability problems
by HOOKER, J. N
Mathematical programming, 1996, Vol.74 (1), p.1-10
16.
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
by Andersen, K. A.
Annals of operations research, 1996-08, Vol.65 (1), p.1-20
17.
The use of windows of operation as a bioprocess design tool
by Woodley, J. M.
Bioprocess Engineering, 1996-04, Vol.14 (5), p.263-268
18.
Extended Horn sets in propositional logic
by Chandru, V
Journal of the ACM, 1991-01-03, Vol.38 (1), p.205-221
19.
New methods for computing inferences in first order logic
by Hooker, J. N.
Annals of operations research, 1993-09, Vol.43 (9), p.477-492
