John N. Hooker

According to our database, John N. Hooker authored at least 121 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A guide to formulating fairness in an optimization model.

Violet Xinying Chen, John N. Hooker

Ann. Oper. Res., July, 2023

Achieving consistency with cutting planes.

Danial Davarnia, Atefeh Rajabalizadeh, John N. Hooker

Math. Program., March, 2023

2022

Stochastic Planning and Scheduling with Logic-Based Benders Decomposition.

Özgün Elçi, John N. Hooker

INFORMS J. Comput., 2022

Combining leximax fairness and efficiency in a mathematical programming model.

Violet Xinying Chen, John N. Hooker

Eur. J. Oper. Res., 2022

Stochastic Binary Decision Diagrams.

John N. Hooker

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

Stochastic Decision Diagrams.

John N. Hooker

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021

Taking Principles Seriously: A Hybrid Approach to Value Alignment in Artificial Intelligence.

Tae Wan Kim, John N. Hooker, Thomas Donaldson

J. Artif. Intell. Res., 2021

When is it permissible for artificial intelligence to lie? A trust-based approach.

Tae Wan Kim, Tong Lu, Kyusong Lee, Zhaoqi Cheng, Yanhan Tang, John N. Hooker

CoRR, 2021

Fairness through Optimization.

Violet Xinying Chen, John N. Hooker

CoRR, 2021

2020

Compact representation of near-optimal integer programming solutions.

Thiago Serra, John N. Hooker

Math. Program., 2020

Optimization Bounds from the Branching Dual.

Gerdus Benadè, John N. Hooker

INFORMS J. Comput., 2020

Taking Principles Seriously: A Hybrid Approach to Value Alignment.

Tae Wan Kim, John N. Hooker, Thomas Donaldson

CoRR, 2020

Balancing Fairness and Efficiency in an Optimization Model.

Violet (Xinying) Chen, John N. Hooker

CoRR, 2020

A Just Approach Balancing Rawlsian Leximax Fairness and Utilitarianism.

Violet (Xinying) Chen, John N. Hooker

Proceedings of the AIES '20: AAAI/ACM Conference on AI, 2020

2019

A Logic-Based Benders Approach to Home Healthcare Delivery.

Aliza Heching, John N. Hooker, Ryo Kimura

Transp. Sci., 2019

Optimization Bounds from the Branching Dual.

J. G. Benade, John N. Hooker

CoRR, 2019

Grounding Value Alignment with Ethical Principles.

Tae Wan Kim, Thomas Donaldson, John N. Hooker

CoRR, 2019

Truly Autonomous Machines Are Ethical.

John N. Hooker, Tae Wan Kim

AI Mag., 2019

Last-Mile Scheduling Under Uncertainty.

Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Consistency for 0-1 Programming.

Danial Davarnia, John N. Hooker

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Improved Job Sequencing Bounds from Decision Diagrams.

John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2019

A Multi-Label A* Algorithm for Multi-Agent Pathfinding.

Florian Grenouilleau, Willem-Jan van Hoeve, John N. Hooker

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Truly Autonomous Machines Are Ethical.

John N. Hooker

CoRR, 2018

Mimetic vs Anchored Value Alignment in Artificial Intelligence.

Tae Wan Kim, Thomas Donaldson, John N. Hooker

CoRR, 2018

Constraint programming and operations research.

John N. Hooker, Willem Jan van Hoeve

Constraints An Int. J., 2018

Dynamic Programming Bounds from Decision Diagrams.

John N. Hooker

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

The Integrated Last-Mile Transportation Problem (ILMTP).

Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

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

John N. Hooker, Tae Wan Kim

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017

Job Sequencing Bounds from Decision Diagrams.

John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Decision Diagrams for Optimization

David Bergman, André A. Ciré, Willem-Jan van Hoeve, John N. Hooker

Artificial Intelligence: Foundations, Theory, and Algorithms, Springer, ISBN: 978-3-319-42849-9, 2016

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

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

Knowl. Eng. Rev., 2016

Modeling with Metaconstraints and Semantic Typing of Variables.

André Augusto Ciré, John N. Hooker, Tallys H. Yunes

INFORMS J. Comput., 2016

Discrete Optimization with Decision Diagrams.

David Bergman, André Augusto Ciré, Willem-Jan van Hoeve, John N. Hooker

INFORMS J. Comput., 2016

Integer programming as projection.

H. Paul Williams, John N. Hooker

Discret. Optim., 2016

Projection, consistency, and George Boole.

John N. Hooker

Constraints An Int. J., 2016

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

Aliza Heching, John N. Hooker

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Projection, Inference, and Consistency.

John N. Hooker

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Scheduling Home Hospice Care with Logic-Based Benders Decomposition.

Aliza R. Heching, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Finding Alternative Musical Scales.

John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Toward unification of exact and heuristic optimization methods.

John N. Hooker

Int. Trans. Oper. Res., 2015

2014

Optimization Bounds from Binary Decision Diagrams.

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker

INFORMS J. Comput., 2014

Scheduling multiple factory cranes on a common track.

Ben Peterson, Iiro Harjunkoski, Samid Hoda, John N. Hooker

Comput. Oper. Res., 2014

Graph coloring inequalities from all-different systems.

David Bergman, John N. Hooker

Constraints An Int. J., 2014

Scope for industrial applications of production scheduling models and solution methods.

Iiro Harjunkoski, Christos T. Maravelias, Peter Bongers, Pedro M. Castro, Sebastian Engell, Ignacio E. Grossmann, John N. Hooker, Carlos A. Méndez, Guido Sand, John M. Wassick

Comput. Chem. Eng., 2014

Robust Scheduling with Logic-Based Benders Decomposition.

Elvin Coban, Aliza Heching, John N. Hooker, Alan Scheller-Wolf

Proceedings of the Operations Research Proceedings 2014, 2014

The Separation Problem for Binary Decision Diagrams.

André A. Ciré, John N. Hooker

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Optimization Bounds from Binary Decision Diagrams - (Extended Abstract).

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Single-facility scheduling by logic-based Benders decomposition.

Elvin Coban, John N. Hooker

Ann. Oper. Res., 2013

Decision Diagrams and Dynamic Programming.

John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

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

André A. Ciré, Elvin Coban, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012

Combining Equity and Utilitarianism in a Mathematical Programming Model.

John N. Hooker, H. Paul Williams

Manag. Sci., 2012

Graph Coloring Facets from All-Different Systems.

David Bergman, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

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

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

2011

Manipulating MDD Relaxations for Combinatorial Optimization.

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

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

2010

Optimality conditions for distributive justice.

John N. Hooker

Int. Trans. Oper. Res., 2010

An Integrated Solver for Optimization Problems.

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

Oper. Res., 2010

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

Elvin Coban, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

A Systematic Approach to MDD-Based Constraint Programming.

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

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Optimization Methods in Logic.

John N. Hooker, Yves Crama, Peter L. Hammer

Proceedings of the Boolean Models and Methods in Mathematics, 2010

2009

Integer Programming Duality.

John N. Hooker

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Integer Programming: Lagrangian Relaxation.

John N. Hooker

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

2008

Solving the Capacitated Local Access Network Design Problem.

F. Sibel Salman, R. Ravi, John N. Hooker

INFORMS J. Comput., 2008

Propagating Separable Equalities in an MDD Store.

Tarik Hadzic, John N. Hooker, Peter Tiedemann

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Approximate Compilation of Constraints into Multivalued Decision Diagrams.

Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Planning and Scheduling by Logic-Based Benders Decomposition.

John N. Hooker

Oper. Res., 2007

A Framework for Integrating Optimization and Constraint Programming.

John N. Hooker

Proceedings of the Abstraction, 2007

Cost-Bounded Binary Decision Diagrams for 0-1 Programming.

Tarik Hadzic, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

A Constraint Store Based on Multivalued Decision Diagrams.

Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann

Proceedings of the Principles and Practice of Constraint Programming, 2007

Integrated methods for optimization.

John N. Hooker

International series in operations research and management science 100, Springer, ISBN: 978-0-387-38272-2, 2007

2006

Operations Research Methods in Constraint Programming.

John N. Hooker

Proceedings of the Handbook of Constraint Programming, 2006

An Integrated Method for Planning and Scheduling to Minimize Tardiness.

John N. Hooker

Constraints An Int. J., 2006

Duality in Optimization and Constraint Satisfaction.

John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

A Filter for the Circuit Constraint.

Latife Genç Kaya, John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

A Hybrid Method for the Planning and Scheduling.

John N. Hooker

Constraints An Int. J., 2005

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

John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Domain Reduction for the Circuit Constraint.

Latife Genç Kaya, John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2005

Planning and Scheduling to Minimize Tardiness.

John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

SIMPL: A System for Integrating Optimization Techniques.

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

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003

Convex Programming Methods for Global Optimization.

John N. Hooker

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002

Partial Instantiation Methods for Inference in First-Order Logic.

John N. Hooker, G. Rago, V. Chandru, A. Shrivastava

J. Autom. Reason., 2002

Logic, Optimization, and Constraint Programming.

John N. Hooker

INFORMS J. Comput., 2002

Abstracts of Invited Talks.

Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis

Proceedings of the Theory and Practice of Timed Systems, 2002

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

Hak-Jin Kim, John N. Hooker

Ann. Oper. Res., 2002

A Relaxation of the Cumulative Constraint.

John N. Hooker, Hong Yan

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

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

Srinivas Bollapragada, Omar Ghattas, John N. Hooker

Oper. Res., 2001

A Declarative Modeling Framework that Integrates Solution Methods.

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

Ann. Oper. Res., 2001

2000

Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming.

Milind Dawande, John N. Hooker

Oper. Res., 2000

Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers.

Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker

Electron. Notes Discret. Math., 2000

1999

Tight representation of logical constraints as cardinality rules.

Hong Yan, John N. Hooker

Math. Program., 1999

Mixed Logical-linear Programming.

John N. Hooker, María Auxilio Osorio Lama

Discret. Appl. Math., 1999

Inference Duality as a Basis for Sensitivity Analysis.

John N. Hooker

Constraints An Int. J., 1999

On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization.

John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1996

Resolution and the integrality of satisfiability problems.

John N. Hooker

Math. Program., 1996

A linear programming framework for logics of uncertainty.

Kim Allan Andersen, John N. Hooker

Decis. Support Syst., 1996

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

Kim Allan Andersen, John N. Hooker

Ann. Oper. Res., 1996

Inference Duality as a Basis for Secitivity Analysis.

John N. Hooker

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

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

John N. Hooker, N. R. Natraj

Transp. Sci., 1995

Branching Rules for Satisfiability.

John N. Hooker, V. Vinay

J. Autom. Reason., 1995

Testing heuristics: We have it all wrong.

John N. Hooker

J. Heuristics, 1995

Boolean regression.

Endre Boros, Peter L. Hammer, John N. Hooker

Ann. Oper. Res., 1995

1994

Predicting Cause-Effect Relationships from Incomplete Discrete Observations.

Endre Boros, Peter L. Hammer, John N. Hooker

SIAM J. Discret. Math., 1994

Needed: An Empirical Science of Algorithms.

John N. Hooker

Oper. Res., 1994

A Computational Study of Satisfiability Algorithms for Propositional Logic.

Farid Harche, John N. Hooker, Gerald L. Thompson

INFORMS J. Comput., 1994

Bayesian logic.

Kim Allan Andersen, John N. Hooker

Decis. Support Syst., 1994

Logic cuts for processing networks with fixed charges.

John N. Hooker, Hong Yan, Ignacio E. Grossmann, Ramesh Raman

Comput. Oper. Res., 1994

Logic-Based Methods for Optimization.

John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 1994

Branching Rules for Satisfiability (Extended Abstract).

John N. Hooker, V. Vinay

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1993

Solving the incremental satisfiability problem.

John N. Hooker

J. Log. Program., 1993

New methods for computing inferences in first order logic.

John N. Hooker

Ann. Oper. Res., 1993

1992

Detecting Embedded Horn Structure in Propositional Logic.

V. Chandru, John N. Hooker

Inf. Process. Lett., 1992

Generalized Resolution for 0-1 Linear Inequalities.

John N. Hooker

Ann. Math. Artif. Intell., 1992

1991

Extended Horn Sets In Propositional Logic.

Vijay Chandru, John N. Hooker

J. ACM, 1991

Finite Dominating Sets for Network Location Problems.

John N. Hooker, Robert S. Garfinkel, C. K. Chen

Oper. Res., 1991

Logical Inference and Polyhedral Projection.

John N. Hooker

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Branch-and-Cut Solution of Inference Problems in Propositional Logic.

John N. Hooker, C. Fedjiki

Ann. Math. Artif. Intell., 1990

1989

On the Vector Assignment <i>p</i>-Median Problem.

John N. Hooker, Robert S. Garfinkel

Transp. Sci., 1989

Solving nonlinear multiple-facility network location problems.

John N. Hooker

Networks, 1989

Input Proofs and Rank One Cutting Planes.

John N. Hooker

INFORMS J. Comput., 1989

1988

A quantitative approach to logical inference.

John N. Hooker

Decis. Support Syst., 1988

Networklike metric spaces.

John N. Hooker

Discret. Math., 1988

1986

Solving Nonlinear Single-Facility Network Location Problems.

John N. Hooker

Oper. Res., 1986