John N. Hooker

John N. Hooker: Decision Diagrams and Dynamic Programming. CPAIOR 2013: 94-110

André A. Ciré, Elvin Coban, John N. Hooker: Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. CPAIOR 2013: 325-331

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker: Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. CPAIOR 2012: 34-49

David Bergman, John N. Hooker: Graph Coloring Facets from All-Different Systems. CPAIOR 2012: 50-65

David Bergman, Willem Jan van Hoeve, John N. Hooker: Manipulating MDD Relaxations for Combinatorial Optimization. CPAIOR 2011: 20-35

Tallys H. Yunes, Ionut D. Aron, John N. Hooker: An Integrated Solver for Optimization Problems. Operations Research 58(2): 342-356 (2010)

Samid Hoda, Willem Jan van Hoeve, John N. Hooker: A Systematic Approach to MDD-Based Constraint Programming. CP 2010: 266-280

Elvin Coban, John N. Hooker: Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. CPAIOR 2010: 87-91

John N. Hooker: Integer Programming Duality. Encyclopedia of Optimization 2009: 1657-1667

John N. Hooker: Integer Programming: Lagrangian Relaxation. Encyclopedia of Optimization 2009: 1667-1673

Willem Jan van Hoeve, John N. Hooker (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings. Lecture Notes in Computer Science 5547, Springer 2009, isbn 978-3-642-01928-9

F. Sibel Salman, R. Ravi, John N. Hooker: Solving the Capacitated Local Access Network Design Problem. INFORMS Journal on Computing 20(2): 243-254 (2008)

Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann: Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP 2008: 448-462

Tarik Hadzic, John N. Hooker, Peter Tiedemann: Propagating Separable Equalities in an MDD Store. CPAIOR 2008: 318-322

John N. Hooker: Optimality Conditions for Distributive Justice. ISAIM 2008

John N. Hooker: Planning and Scheduling by Logic-Based Benders Decomposition. Operations Research 55(3): 588-602 (2007)

Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann: A Constraint Store Based on Multivalued Decision Diagrams. CP 2007: 118-132

Tarik Hadzic, John N. Hooker: Cost-Bounded Binary Decision Diagrams for 0-1 Programming. CPAIOR 2007: 84-98

John N. Hooker: A Framework for Integrating Optimization and Constraint Programming. SARA 2007: 4

John N. Hooker: An Integrated Method for Planning and Scheduling to Minimize Tardiness. Constraints 11(2-3): 139-157 (2006)

Latife Genç Kaya, John N. Hooker: A Filter for the Circuit Constraint. CP 2006: 706-710

John N. Hooker: Duality in Optimization and Constraint Satisfaction. CPAIOR 2006: 3-15

John N. Hooker: A Hybrid Method for the Planning and Scheduling. Constraints 10(4): 385-401 (2005)

John N. Hooker: Planning and Scheduling to Minimize Tardiness. CP 2005: 314-327

Latife Genç Kaya, John N. Hooker: Domain Reduction for the Circuit Constraint. CP 2005: 846

John N. Hooker: A Search-Infer-and-Relax Framework for Integrating Solution Methods. CPAIOR 2005: 243-257

John N. Hooker: A Hybrid Method for Planning and Scheduling. CP 2004: 305-316

Ionut D. Aron, John N. Hooker, Tallys H. Yunes: SIMPL: A System for Integrating Optimization Techniques. CPAIOR 2004: 21-36

John N. Hooker: Convex Programming Methods for Global Optimization. COCOS 2003: 46-60

Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker: Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Ann. Math. Artif. Intell. 34(4): 271-290 (2002)

Hak-Jin Kim, John N. Hooker: Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach. Annals OR 115(1-4): 95-124 (2002)

Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis: Abstracts of Invited Talks. Electr. Notes Theor. Comput. Sci. 65(6): 275-276 (2002)

John N. Hooker: Logic, Optimization, and Constraint Programming. INFORMS Journal on Computing 14(4): 295-321 (2002)

John N. Hooker, G. Rago, V. Chandru, A. Shrivastava: Partial Instantiation Methods for Inference in First-Order Logic. J. Autom. Reasoning 28(5): 371-396 (2002)

John N. Hooker, Hong Yan: A Relaxation of the Cumulative Constraint. CP 2002: 686-690

John N. Hooker, Hak-Jin Kim, Greger Ottosson: A Declarative Modeling Framework that Integrates Solution Methods. Annals OR 104(1-4): 141-161 (2001)

Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker: Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Electronic Notes in Discrete Mathematics 4: 32-53 (2000)

John N. Hooker: Inference Duality as a Basis for Sensitivity Analysis. Constraints 4(2): 101-112 (1999)

John N. Hooker, María Auxilio Osorio Lama: Mixed Logical-linear Programming. Discrete Applied Mathematics 96-97: 395-442 (1999)

John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim: On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. AAAI/IAAI 1999: 136-141

John N. Hooker: Resolution and the integrality of satisfiability problems. Math. Program. 74: 1-10 (1996)

John N. Hooker: Inference Duality as a Basis for Secitivity Analysis. CP 1996: 224-236

John N. Hooker, V. Vinay: Branching Rules for Satisfiability. J. Autom. Reasoning 15(3): 359-383 (1995)

John N. Hooker, Hong Yan, Ignacio E. Grossmann, Ramesh Raman: Logic cuts for processing networks with fixed charges. Computers & OR 21(3): 265-279 (1994)

Farid Harche, John N. Hooker, Gerald L. Thompson: A Computational Study of Satisfiability Algorithms for Propositional Logic. INFORMS Journal on Computing 6(4): 423-435 (1994)

Endre Boros, Peter L. Hammer, John N. Hooker: Predicting Cause-Effect Relationships from Incomplete Discrete Observations. SIAM J. Discrete Math. 7(4): 531-543 (1994)

John N. Hooker, V. Vinay: Branching Rules for Satisfiability (Extended Abstract). FSTTCS 1994: 426-437

John N. Hooker: Logic-Based Methods for Optimization. PPCP 1994: 336-349

John N. Hooker: Solving the incremental satisfiability problem. J. Log. Program. 15(1&2): 177-186 (1993)

John N. Hooker: Generalized Resolution for 0-1 Linear Inequalities. Ann. Math. Artif. Intell. 6(1-3): 271-286 (1992)

V. Chandru, John N. Hooker: Detecting Embedded Horn Structure in Propositional Logic. Inf. Process. Lett. 42(2): 109-111 (1992)

V. Chandru, John N. Hooker: Extended Horn Sets In Propositional Logic. J. ACM 38(1): 205-221 (1991)

John N. Hooker: Logical Inference and Polyhedral Projection. CSL 1991: 184-200

John N. Hooker, C. Fedjiki: Branch-and-Cut Solution of Inference Problems in Propositional Logic. Ann. Math. Artif. Intell. 1: 123-139 (1990)

John N. Hooker: Input Proofs and Rank One Cutting Planes. INFORMS Journal on Computing 1(3): 137-145 (1989)

John N. Hooker: Networklike metric spaces. Discrete Mathematics 68(1): 31-43 (1988)