John N. Hooker

发表

Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem

David Bergman, André Augusto Ciré, Willem Jan van Hoeve, 2012, CPAIOR.

Planning and Scheduling by Logic-Based Benders Decomposition

John N. Hooker, J. Hooker, 2007, Oper. Res..

Logic cuts for processing networks with fixed charges

Hong Yan, Ignacio E. Grossmann, John N. Hooker, 1994, Comput. Oper. Res..

Restricted Decision Diagrams

John N. Hooker, David Bergman, Andre A. Cire, 2016 .

Job Sequencing Bounds from Decision Diagrams

John N. Hooker, J. Hooker, 2017, CP.

The Separation Problem for Binary Decision Diagrams

André Augusto Ciré, John N. Hooker, 2014, ISAIM.

Case Studies Methodology

John N. Hooker, 1999 .

Branching rules for satisfiability

V. Vinay, John N. Hooker, J. Hooker, 1995, Journal of Automated Reasoning.

A linear programming framework for logics of uncertainty

John N. Hooker, Kim Allan Andersen, J. Hooker, 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

A quantitative approach to logical inference

John N. Hooker, J. Hooker, 1988, Decis. Support Syst..

Dynamic Programming Bounds from Decision Diagrams

John N. Hooker, 2018, ISAIM.

Energy Conservation in Transportation

G. Samuels, John N. Hooker, A B Rose, 1982 .

Mimetic vs Anchored Value Alignment in Artificial Intelligence pdf

John N. Hooker, Tae Wan Kim, Thomas Donaldson, 2018, ArXiv.

Testing heuristics: We have it all wrong

John N. Hooker, J. Hooker, 1995, J. Heuristics.

Trusting Algorithms in Society 5.0

John N. Hooker, 2019 .

Toward Non-Intuition-Based Machine Ethics

John N. Hooker, Tae Wan Kim, Tae Wan Kim, 2018 .

Resolution and the integrality of satisfiability problems

John N. Hooker, J. Hooker, 1996, Math. Program..

Finding Alternative Musical Scales

John N. Hooker, J. Hooker, 2016, CP.

Solving the Capacitated Local Access Network Design Problem

R. Ravi, F. Sibel Salman, John N. Hooker, 2008, INFORMS J. Comput..

Branch-and-cut solution of inference problems in propositional logic

John N. Hooker, C. Fedjiki, 2005, Annals of Mathematics and Artificial Intelligence.

Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

John N. Hooker, Willem-Jan van Hoeve, 2009 .

Propositional Logic: Special Cases

Vijay Chandru, John N. Hooker, V. Chandru, 2011 .

Operations Research Methods in Constraint Programming

John N. Hooker, J. Hooker, 2006, Handbook of Constraint Programming.

A Framework for Integrating Optimization and Constraint Programming

John N. Hooker, 2007, SARA.

Needed: An Empirical Science of Algorithms

John N. Hooker, J. Hooker, 1994, Oper. Res..

Networklike metric spaces

John N. Hooker, 1988, Discret. Math..

Tight representation of logical constraints as cardinality rules

Hong Yan, John N. Hooker, 1999, Math. Program..

Constraint programming and operations research

Willem Jan van Hoeve, John N. Hooker, J. Hooker, 2017, Constraints.

Partial Instantiation Methods for Inference in First-Order Logic

John N. Hooker, G. Rago, V. Chandru, 2002, Journal of Automated Reasoning.

Generalized resolution and cutting planes

John N. Hooker, J. Hooker, 1988 .

A Systematic Approach to MDD-Based Constraint Programming

Willem Jan van Hoeve, John N. Hooker, Samid Hoda, 2010, CP.

An Integrated Method for Planning and Scheduling to Minimize Tardiness

John N. Hooker, J. Hooker, 2006, Constraints.

Good and Bad Futures for Constraint Programming (and Operations Research)

John N. Hooker, 2007 .

A Hybrid Method for Planning and Scheduling

John N. Hooker, J. Hooker, 2004, CP.

Toward unification of exact and heuristic optimization methods

John N. Hooker, J. Hooker, 2015, Int. Trans. Oper. Res..

Integrated Methods for Optimization, 2nd ed

John N. Hooker, 2012 .

Graph Coloring Facets from All-Different Systems

David Bergman, John N. Hooker, 2012, CPAIOR.

Modeling with Metaconstraints and Semantic Typing of Variables

Tallys H. Yunes, André Augusto Ciré, John N. Hooker, 2016, INFORMS J. Comput..

A Hybrid Method for the Planning and Scheduling

John N. Hooker, J. Hooker, 2005, Constraints.

A Computational Study of Satisfiability Algorithms for Propositional Logic

Gerald L. Thompson, Farid Harche, John N. Hooker, 1994, INFORMS J. Comput..

Optimal Movement of Two Factory Cranes

John N. Hooker, Iiro Harjunkoski, Samid Hoda, 2010 .

A Framework for Integrating Solution Methods

John N. Hooker, 2003 .

Decision Diagrams and Dynamic Programming

John N. Hooker, J. Hooker, 2013, CPAIOR.

Solving nonlinear multiple-facility network location problems

John N. Hooker, 1989, Networks.

Scheduling multiple factory cranes on a common track

Iiro Harjunkoski, Ben Peterson, John N. Hooker, 2014, Comput. Oper. Res..

A Constraint Store Based on Multivalued Decision Diagrams

John N. Hooker, Henrik Reif Andersen, Tarik Hadzic, 2007, CP.

Scope for industrial applications of production scheduling models and solution methods

Pedro M. Castro, Ignacio E. Grossmann, Sebastian Engell, 2014, Comput. Chem. Eng..

Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics: A Deontological Approach Based on Modal Logic

John N. Hooker, Tae Wan Kim, Tae Wan Kim, 2018, AIES.

Manipulating MDD Relaxations for Combinatorial Optimization

David Bergman, Willem Jan van Hoeve, John N. Hooker, 2011, CPAIOR.

Integer Programming Duality

John N. Hooker, 2009, Encyclopedia of Optimization.

Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs

John N. Hooker, Aliza R. Heching, J. Hooker, 2016, International Symposium on Artificial Intelligence and Mathematics.

Logic-based Benders decomposition for planning and scheduling: a computational analysis

André Augusto Ciré, John N. Hooker, Elvin Coban, 2016, Knowl. Eng. Rev..

Duality in Optimization and Constraint Satisfaction

John N. Hooker, 2006, CPAIOR.

Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling

André Augusto Ciré, John N. Hooker, Elvin Coban, 2013, CPAIOR.

Relaxed Decision Diagrams

David Bergman, John N. Hooker, Andre A. Cire, 2016 .

Nonclassical and Many‐Valued Logics

Vijay Chandru, John N. Hooker, 2011 .

Scheduling Home Hospice Care with Logic-Based Benders Decomposition

John N. Hooker, Aliza R. Heching, J. Hooker, 2016, CPAIOR.

A Logic-Based Benders Approach to Home Healthcare Delivery

John N. Hooker, Aliza R. Heching, Ryo Kimura, 2019, Transp. Sci..

Some Business-Related Ethical Issues in Engineering

John N. Hooker, 2000 .

Detecting Embedded Horn Structure in Propositional Logic

John N. Hooker, V. Chandru, 1992, Inf. Process. Lett..

Extended Horn sets in propositional logic

John N. Hooker, V. Chandru, V. Chandru, 1991, JACM.

A holistic approach to vehicle simulation

John N. Hooker, A B Rose, Glenn F. Roberts, 1983 .

Predicting Cause-Effect Relationships from Incomplete Discrete Observations

Endre Boros, Peter L. Hammer, John N. Hooker, 1994, SIAM J. Discret. Math..

On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization

John N. Hooker, Hak-Jin Kim, Erlendur S. Thorsteinsson, 1999, AAAI/IAAI.

Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach

John N. Hooker, Hak-Jin Kim, J. Hooker, 2002, Ann. Oper. Res..

Dictionary of Constraints

John N. Hooker, 2012 .

Propagating Separable Equalities in an MDD Store

John N. Hooker, Tarik Hadzic, Peter Tiedemann, 2008, CPAIOR.

Achieving consistency with cutting planes

John N. Hooker, Danial Davarnia, Atefeh Rajabalizadeh, 2022, Mathematical Programming.

Domain Reduction for the Circuit Constraint

John N. Hooker, Latife Genç Kaya, 2005, CP.

Oil-pipeline energy efficiency studied for U. S

John N. Hooker, 1982 .

Graph coloring inequalities from all-different systems

David Bergman, John N. Hooker, 2014, Constraints.

Optimization Bounds from Binary Decision Diagrams - (Extended Abstract)

David Bergman, André Augusto Ciré, Willem Jan van Hoeve, 2014, CP.

A Data-Based Simulator for Predicting Vehicle Fuel Consumption

John N. Hooker, A B Rose, Glenn F. Roberts, 1982 .

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

John N. Hooker, Willem-Jan van Hoeve, J. Hooker, 2013, CPAIOR.

Discrete Optimization with Decision Diagrams

David Bergman, André Augusto Ciré, Willem Jan van Hoeve, 2016, INFORMS J. Comput..

Artificial Intelligence and Innovation Ethics

John N. Hooker, Samer Faraj, Tae Wan Kim, 2020 .

SIMPL: A System for Integrating Optimization Techniques

Tallys H. Yunes, John N. Hooker, Ionut D. Aron, 2004, CPAIOR.

A Search-Infer-and-Relax Framework for Integrating Solution Methods

John N. Hooker, J. Hooker, 2005, CPAIOR.

Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming

Milind Dawande, John N. Hooker, J. Hooker, 2000, Oper. Res..

Appendix: Linear Programming

Vijay Chandru, John N. Hooker, 2011 .

Is Design Theory Possible

John N. Hooker, J. Hooker, 2004 .

END USE ENERGY CONSUMPTION DATA BASE: TRANSPORTATION SECTOR

David L. Greene, John N. Hooker, A B Rose, 1980 .

Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition

John N. Hooker, Elvin Coban, J. Hooker, 2010, CPAIOR.

Logic, Optimization, and Constraint Programming

John N. Hooker, J. Hooker, 2002, INFORMS J. Comput..

Logical Inference and Polyhedral Projection

John N. Hooker, J. Hooker, 1991, CSL.

Optimization Methods for Logical Inference: Chandru/Optimization

Vijay Chandru, John N. Hooker, V. Chandru, 1999 .

Boolean regression

Endre Boros, Peter L. Hammer, John N. Hooker, 1995, Ann. Oper. Res..

Input Proofs and Rank One Cutting Planes

John N. Hooker, J. Hooker, 1989, INFORMS J. Comput..

Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers

John N. Hooker, Erlendur S. Thorsteinsson, Greger Ottosson, 2000, Electron. Notes Discret. Math..

Optimization Bounds from Binary Decision Diagrams

David Bergman, André Augusto Ciré, Willem Jan van Hoeve, 2014, INFORMS J. Comput..

Optimal driving for single-vehicle fuel economy

John N. Hooker, J. Hooker, 1988 .

A Declarative Modeling Framework that Integrates Solution Methods

John N. Hooker, Hak-Jin Kim, Greger Ottosson, 2001, Ann. Oper. Res..

Integrated Methods for Optimization (International Series in Operations Research & Management Science)

John N. Hooker, 2006 .

Optimal Control of Automobiles for Fuel Economy

John N. Hooker, A B Rose, Glenn F. Roberts, 1983 .

Optimality Conditions for Distributive Justice

John N. Hooker, J. Hooker, 2009, ISAIM.

A Generalized Dilworth's Theorem, with Application to Routing and Scheduling

John N. Hooker, N. R. Natraj, 1992 .

Robust Scheduling with Logic-Based Benders Decomposition

Alan Scheller-Wolf, John N. Hooker, Aliza R. Heching, 2014, OR.

Logic-Based Methods for Optimization

John N. Hooker, J. Hooker, 1994, PPCP.

Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs

John N. Hooker, K. A. Andersen, J. Hooker, 1996, Ann. Oper. Res..

Cost-Bounded Binary Decision Diagrams for 0-1 Programming

John N. Hooker, Tarik Hadzic, 2007, CPAIOR.

Sequencing and Single-Machine Scheduling

David Bergman, John N. Hooker, Andre A. Cire, 2016 .

Optimal Design of Truss Structures by Logic-Based Branch and Cut

Srinivas Bollapragada, John N. Hooker, Omar Ghattas, 2001, Oper. Res..

On the Vector Assignment p-Median Problem

John N. Hooker, Robert S. Garfinkel, 1989, Transp. Sci..

Projection, Inference, and Consistency

John N. Hooker, J. Hooker, 2016, IJCAI.

Consistency for 0-1 Programming

John N. Hooker, Danial Davarnia, J. Hooker, 2018, CPAIOR.

Finite Dominating Sets for Network Location Problems

John N. Hooker, C. K. Chen, Robert S. Garfinkel, 1991, Oper. Res..

Exact Decision Diagrams

David Bergman, John N. Hooker, Andre A. Cire, 2016 .

Inference Duality as a Basis for Sensitivity Analysis

John N. Hooker, J. Hooker, 1999, Constraints.

An Integrated Solver for Optimization Problems

Tallys H. Yunes, John N. Hooker, Ionut D. Aron, 2010, Oper. Res..

Constraint satisfaction methods for generating valid cuts

John N. Hooker, J. Hooker, 1997 .

Truly Autonomous Machines Are Ethical

John N. Hooker, J. Hooker, 2018, AI Mag..

Mixed Global Constraints and Inference in Hybrid CLP–IP Solvers

John N. Hooker, Erlendur S. Thorsteinsson, Greger Ottosson, 2002, Annals of Mathematics and Artificial Intelligence.

Integer Programming: Lagrangian Relaxation

John N. Hooker, 2009, Encyclopedia of Optimization.

Optimization Methods in Logic

Peter L. Hammer, Yves Crama, John N. Hooker, 2010, Boolean Models and Methods.

Logic-Based Benders Decomposition for Large-Scale Optimization

John N. Hooker, J. Hooker, 2019, Springer Optimization and Its Applications.

Combining optimization and constraint programming by logic-based methods

John N. Hooker, Hak-Jin Kim, 2001 .

The Integrated Last-Mile Transportation Problem (ILMTP)

David Bergman, John N. Hooker, Arvind U. Raghunathan, 2018, ICAPS.

A Relaxation of the Cumulative Constraint

Hong Yan, John N. Hooker, 2002, CP.

The Logic of Propositions

John N. Hooker, J. Hooker, 2011 .

Bayesian logic

John N. Hooker, K. A. Andersen, J. Hooker, 1994, Decision Support Systems.

New methods for computing inferences in first order logic

John N. Hooker, J. Hooker, 1993, Ann. Oper. Res..

Optimization and

John N. Hooker, Hak-Jin Kim, Greger Ottosson, 2000 .

Convex Programming Methods for Global Optimization

John N. Hooker, 2003, COCOS.

Branch-and-Bound Based on Decision Diagrams

David Bergman, John N. Hooker, Andre A. Cire, 2016 .

Single-facility scheduling by logic-based Benders decomposition

John N. Hooker, Elvin Coban, J. Hooker, 2011, Ann. Oper. Res..

A conceptual framework for combining artificial intelligence and optimization in engineering design

Jonathan Cagan, Ignacio E. Grossmann, John N. Hooker, 1997 .

Branching Rules for Satisfiability (Extended Abstract)

V. Vinay, John N. Hooker, 1994, FSTTCS.

Solving the incremental satisfiability problem

John N. Hooker, J. Hooker, 1993, J. Log. Program..

Planning and Scheduling to Minimize Tardiness

John N. Hooker, J. Hooker, 2005, CP.

Last-Mile Scheduling Under Uncertainty

David Bergman, John N. Hooker, Arvind U. Raghunathan, 2019, CPAIOR.

Generalized resolution for 0–1 linear inequalities

John N. Hooker, J. Hooker, 1992, Annals of Mathematics and Artificial Intelligence.

What Actually Controls SRV? Three Concepts to Debate a Stimulation or Stimulate a Debate!

Ben Stephenson, John N. Hooker, Joe Cartwright, 2015 .

Inference Duality as a Basis for Secitivity Analysis

John N. Hooker, J. Hooker, 1996, CP.

Compact representation of near-optimal integer programming solutions

John N. Hooker, Thiago Serra, 2020, Math. Program..

Karmarkar’s Linear Programming Algorithm

John N. Hooker, J. Hooker, 1986 .

MDD-Based Constraint Programming

David Bergman, John N. Hooker, Andre A. Cire, 2016 .

Mixed Logical-linear Programming

María Auxilio Osorio Lama, John N. Hooker, J. Hooker, 1999, Discret. Appl. Math..

Probabilistic Logic for Belief Nets

John N. Hooker, Kim Allan Andersen, 1990 .

Optimal Movement of Factory Cranes

Iiro Harjunkoski, John N. Hooker, Samid Hoda, 2008 .

Approximate Compilation of Constraints into Multivalued Decision Diagrams

Barry O'Sullivan, John N. Hooker, Tarik Hadzic, 2008, CP.

A linear programming framework for logics of uncertainty

John N. Hooker, K. A. Andersen, 1996, Decis. Support Syst..

A Filter for the Circuit Constraint

John N. Hooker, Latife Genç Kaya, 2006, CP.

Projection, consistency, and George Boole

John N. Hooker, J. Hooker, 2015, Constraints.

Postoptimality Analysis for Integer Programming Using Binary Decision Diagrams

John N. Hooker, Tarik Hadzic, 2008 .

Combining Equity and Utilitarianism in a Mathematical Programming Model

John N. Hooker, H. Paul Williams, H. P. Williams, 2012, Manag. Sci..

A Unified Approach to Optimization

John N. Hooker, Tallys Yunes, 2014 .

Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search

John N. Hooker, N. R. Natraj, J. Hooker, 1995, Transp. Sci..

Integrated methods for optimization

John N. Hooker, J. Hooker, 2011, International series in operations research and management science.

Nonserial Dynamic Programming

John N. Hooker, J. Hooker, 2011 .

Ethical Implications of the Fourth Industrial Revolution for Business and Society

John N. Hooker, Tae Wan Kim, J. Hooker, 2019, Business and Society 360.

A Principled Approach to Mixed Integer/Linear Problem Formulation

John N. Hooker, 2009 .

Cultural Differences in Business Communication

John N. Hooker, J. Hooker, 2012 .

Corruption from a cross‐cultural perspective

John N. Hooker, J. Hooker, 2009, Cross Cultural Management: An International Journal.

Logic-Based Modeling

John N. Hooker, J. Hooker, 2006 .

The Circuit Polytope

John N. Hooker, Latife Genç-Kaya, 2008 .

Fault core and damage zone fracture attributes vary along strike owing to interaction of fracture growth, quartz accumulation, and differing sandstone composition

John N. Hooker, Stephen E. Laubach, Peter Eichhubl, 2014 .

Succinct Relaxations for Some Discrete Problems

John N. Hooker, J. Hooker, Hak-Jin Kim, 1998 .

Three kinds of ethics

John N. Hooker, 1996 .

Taking Ethics Seriously: Why Ethics Is an Essential Tool for the Modern Workplace

John N. Hooker, J. Hooker, 2018 .

Working Across Cultures

John N. Hooker, 2003 .

A Partial Instantiation Based First Order Theorem Prover

Vijay Chandru, John N. Hooker, Anjul Shrivastava, 1998 .

Can I Be Transplanted into a Computer

John N. Hooker, 1991 .