John N. Hooker

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 44

Top Venues

CoRR

INFORMS J. Comput.

ISAIM

Publications

Violet Xinying Chen, John N. Hooker, Derek Leben
Assessing Group Fairness with Social Welfare Optimization. CoRR (2024)
Fotios Petropoulos, Gilbert Laporte, Emel Aktas, Sibel A. Alumur, Claudia Archetti, Hayriye Ayhan, Maria Battarra, Julia A. Bennell, Jean-Marie Bourjolly, John E. Boylan, Michèle Breton, David Canca, Laurent Charlin, Bo Chen, Cihan Tugrul Cicek, Louis Anthony Cox, Christine S. M. Currie, Erik Demeulemeester, Li Ding, Stephen M. Disney, Matthias Ehrgott, Martin J. Eppler, Günes Erdogan, Bernard Fortz, L. Alberto Franco, Jens Frische, Salvatore Greco, Amanda J. Gregory, Raimo P. Hämäläinen, Willy Herroelen, Mike Hewitt, Jan Holmström, John N. Hooker, Tugçe Isik, Jill Johnes, Bahar Yetis Kara, Özlem Karsu, Katherine Kent, Charlotte Köhler, Martin H. Kunc, Yong-Hong Kuo, Adam N. Letchford, Janny Leung, Dong Li, Haitao Li, Judit Lienert, Ivana Ljubic, Andrea Lodi, Sebastián Lozano, Virginie Lurkin, Silvano Martello, Ian G. McHale, Gerald Midgley, John D. W. Morecroft, Akshay Mutha, Ceyda Oguz, Sanja Petrovic, Ulrich Pferschy, Harilaos N. Psaraftis, Sam Rose, Lauri Saarinen, Saïd Salhi, Jing-Sheng Song, Dimitrios Sotiros, Kathryn E. Stecke, Arne K. Strauss, Istenç Tarhan, Clemens Thielen, Paolo Toth, Tom Van Woensel, Greet Vanden Berghe, Christos Vasilakis, Vikrant Vaze, Daniele Vigo, Kai Virtanen, Xun Wang, Rafal Weron, Leroy White, Mike Yearworth, E. Alper Yildirim, Georges Zaccour, Xuying Zhao
Operational Research: methods and applications. J. Oper. Res. Soc. 75 (3) (2024)
Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori
Seamless Multimodal Transportation Scheduling. INFORMS J. Comput. 36 (2) (2024)
Violet Xinying Chen, John N. Hooker, Derek Leben
Assessing Group Fairness with Social Welfare Optimization. CPAIOR (1) (2024)
Danial Davarnia, Atefeh Rajabalizadeh, John N. Hooker
Achieving consistency with cutting planes. Math. Program. 198 (1) (2023)
Violet Xinying Chen, John N. Hooker
A guide to formulating fairness in an optimization model. Ann. Oper. Res. 326 (1) (2023)
John N. Hooker
Stochastic Decision Diagrams. CPAIOR (2022)
Özgün Elçi, John N. Hooker
Stochastic Planning and Scheduling with Logic-Based Benders Decomposition. INFORMS J. Comput. 34 (5) (2022)
John N. Hooker
Stochastic Binary Decision Diagrams. ISAIM (2022)
Violet Xinying Chen, John N. Hooker
Combining leximax fairness and efficiency in a mathematical programming model. Eur. J. Oper. Res. 299 (1) (2022)
Tae Wan Kim, John N. Hooker, Thomas Donaldson
Taking Principles Seriously: A Hybrid Approach to Value Alignment in Artificial Intelligence. J. Artif. Intell. Res. 70 (2021)
Tae Wan Kim, Tong Lu, Kyusong Lee, Zhaoqi Cheng, Yanhan Tang, John N. Hooker
When is it permissible for artificial intelligence to lie? A trust-based approach. CoRR (2021)
Violet Xinying Chen, John N. Hooker
Fairness through Optimization. CoRR (2021)
Thiago Serra, John N. Hooker
Compact representation of near-optimal integer programming solutions. Math. Program. 182 (1) (2020)
Violet (Xinying) Chen, John N. Hooker
Balancing Fairness and Efficiency in an Optimization Model. CoRR (2020)
Gerdus Benadè, John N. Hooker
Optimization Bounds from the Branching Dual. INFORMS J. Comput. 32 (1) (2020)
Tae Wan Kim, John N. Hooker, Thomas Donaldson
Taking Principles Seriously: A Hybrid Approach to Value Alignment. CoRR (2020)
Violet (Xinying) Chen, John N. Hooker
A Just Approach Balancing Rawlsian Leximax Fairness and Utilitarianism. AIES (2020)
Aliza Heching, John N. Hooker, Ryo Kimura
A Logic-Based Benders Approach to Home Healthcare Delivery. Transp. Sci. 53 (2) (2019)
J. G. Benade, John N. Hooker
Optimization Bounds from the Branching Dual. CoRR (2019)
John N. Hooker
Improved Job sequencing Bounds from Decision Diagrams. CoRR (2019)
John N. Hooker
Improved Job Sequencing Bounds from Decision Diagrams. CP (2019)
Tae Wan Kim, Thomas Donaldson, John N. Hooker
Grounding Value Alignment with Ethical Principles. CoRR (2019)
John N. Hooker, Tae Wan Kim
Truly Autonomous Machines Are Ethical. AI Mag. 40 (4) (2019)
Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori
Last-Mile Scheduling Under Uncertainty. CPAIOR (2019)
Danial Davarnia, John N. Hooker
Consistency for 0-1 Programming. CPAIOR (2019)
Florian Grenouilleau, Willem-Jan van Hoeve, John N. Hooker
A Multi-Label A* Algorithm for Multi-Agent Pathfinding. ICAPS (2019)
Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori
The Integrated Last-Mile Transportation Problem (ILMTP). ICAPS (2018)
Tae Wan Kim, Thomas Donaldson, John N. Hooker
Mimetic vs Anchored Value Alignment in Artificial Intelligence. CoRR (2018)
John N. Hooker, Tae Wan Kim
Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics: A Deontological Approach Based on Modal Logic. AIES (2018)
John N. Hooker, Willem Jan van Hoeve
Constraint programming and operations research. Constraints An Int. J. 23 (2) (2018)
John N. Hooker
Dynamic Programming Bounds from Decision Diagrams. ISAIM (2018)
John N. Hooker
Truly Autonomous Machines Are Ethical. CoRR (2018)
Danial Davarnia, John N. Hooker
Consistency for 0-1 Programming. CoRR (2018)
John N. Hooker
Job Sequencing Bounds from Decision Diagrams. CP (2017)
Aliza R. Heching, John N. Hooker
Scheduling Home Hospice Care with Logic-Based Benders Decomposition. CPAIOR (2016)
André Augusto Ciré, John N. Hooker, Tallys H. Yunes
Modeling with Metaconstraints and Semantic Typing of Variables. INFORMS J. Comput. 28 (1) (2016)
John N. Hooker
Projection, Inference, and Consistency. IJCAI (2016)
John N. Hooker
Finding Alternative Musical Scales. CP (2016)
David Bergman, André Augusto Ciré, Willem-Jan van Hoeve, John N. Hooker
Discrete Optimization with Decision Diagrams. INFORMS J. Comput. 28 (1) (2016)
H. Paul Williams, John N. Hooker
Integer programming as projection. Discret. Optim. 22 (2016)
John N. Hooker
Projection, consistency, and George Boole. Constraints An Int. J. 21 (1) (2016)
André Augusto Ciré, Elvin Coban, John N. Hooker
Logic-based Benders decomposition for planning and scheduling: a computational analysis. Knowl. Eng. Rev. 31 (5) (2016)
Aliza Heching, John N. Hooker
Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. ISAIM (2016)
John N. Hooker
Toward unification of exact and heuristic optimization methods. Int. Trans. Oper. Res. 22 (1) (2015)
David Bergman, John N. Hooker
Graph coloring inequalities from all-different systems. Constraints An Int. J. 19 (4) (2014)
Ben Peterson, Iiro Harjunkoski, Samid Hoda, John N. Hooker
Scheduling multiple factory cranes on a common track. Comput. Oper. Res. 48 (2014)
David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker
Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). CP (2014)
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
Scope for industrial applications of production scheduling models and solution methods. Comput. Chem. Eng. 62 (2014)
Elvin Coban, Aliza Heching, John N. Hooker, Alan Scheller-Wolf
Robust Scheduling with Logic-Based Benders Decomposition. OR (2014)
André A. Ciré, John N. Hooker
The Separation Problem for Binary Decision Diagrams. ISAIM (2014)
David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker
Optimization Bounds from Binary Decision Diagrams. INFORMS J. Comput. 26 (2) (2014)
Elvin Coban, John N. Hooker
Single-facility scheduling by logic-based Benders decomposition. Ann. Oper. Res. 210 (1) (2013)
André A. Ciré, Elvin Coban, John N. Hooker
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. CPAIOR (2013)
John N. Hooker
Decision Diagrams and Dynamic Programming. CPAIOR (2013)
John N. Hooker, H. Paul Williams
Combining Equity and Utilitarianism in a Mathematical Programming Model. Manag. Sci. 58 (9) (2012)
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)
David Bergman, John N. Hooker
Graph Coloring Facets from All-Different Systems. CPAIOR (2012)
David Bergman, Willem Jan van Hoeve, John N. Hooker
Manipulating MDD Relaxations for Combinatorial Optimization. CPAIOR (2011)
Samid Hoda, Willem Jan van Hoeve, John N. Hooker
A Systematic Approach to MDD-Based Constraint Programming. CP (2010)
Tallys H. Yunes, Ionut D. Aron, John N. Hooker
An Integrated Solver for Optimization Problems. Oper. Res. 58 (2) (2010)
John N. Hooker
Optimality conditions for distributive justice. Int. Trans. Oper. Res. 17 (4) (2010)
Elvin Coban, John N. Hooker
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. CPAIOR (2010)
John N. Hooker
Optimality Conditions for Distributive Justice. ISAIM (2008)
Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann
Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP (2008)
F. Sibel Salman, R. Ravi, John N. Hooker
Solving the Capacitated Local Access Network Design Problem. INFORMS J. Comput. 20 (2) (2008)
Tarik Hadzic, John N. Hooker, Peter Tiedemann
Propagating Separable Equalities in an MDD Store. CPAIOR (2008)
John N. Hooker
Planning and Scheduling by Logic-Based Benders Decomposition. Oper. Res. 55 (3) (2007)
Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann
A Constraint Store Based on Multivalued Decision Diagrams. CP (2007)
John N. Hooker
A Framework for Integrating Optimization and Constraint Programming. SARA (2007)
Tarik Hadzic, John N. Hooker
Cost-Bounded Binary Decision Diagrams for 0-1 Programming. CPAIOR (2007)
Latife Genç Kaya, John N. Hooker
A Filter for the Circuit Constraint. CP (2006)
John N. Hooker
An Integrated Method for Planning and Scheduling to Minimize Tardiness. Constraints An Int. J. 11 (2-3) (2006)
John N. Hooker
Duality in Optimization and Constraint Satisfaction. CPAIOR (2006)
John N. Hooker
Planning and Scheduling to Minimize Tardiness. CP (2005)
John N. Hooker
A Search-Infer-and-Relax Framework for Integrating Solution Methods. CPAIOR (2005)
John N. Hooker
A Hybrid Method for the Planning and Scheduling. Constraints An Int. J. 10 (4) (2005)
Latife Genç Kaya, John N. Hooker
Domain Reduction for the Circuit Constraint. CP (2005)
Ionut D. Aron, John N. Hooker, Tallys H. Yunes
SIMPL: A System for Integrating Optimization Techniques. CPAIOR (2004)
John N. Hooker
A Hybrid Method for Planning and Scheduling. CP (2004)
John N. Hooker
Convex Programming Methods for Global Optimization. COCOS (2003)
Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker
Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Ann. Math. Artif. Intell. 34 (4) (2002)
John N. Hooker
Logic, Optimization, and Constraint Programming. INFORMS J. Comput. 14 (4) (2002)
John N. Hooker, Hong Yan
A Relaxation of the Cumulative Constraint. CP (2002)
Hak-Jin Kim, John N. Hooker
Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach. Ann. Oper. Res. 115 (1-4) (2002)
John N. Hooker, G. Rago, V. Chandru, A. Shrivastava
Partial Instantiation Methods for Inference in First-Order Logic. J. Autom. Reason. 28 (5) (2002)
Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis
Abstracts of Invited Talks. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
John N. Hooker, Hak-Jin Kim, Greger Ottosson
A Declarative Modeling Framework that Integrates Solution Methods. Ann. Oper. Res. 104 (1-4) (2001)
Srinivas Bollapragada, Omar Ghattas, John N. Hooker
Optimal Design of Truss Structures by Logic-Based Branch and Cut. Oper. Res. 49 (1) (2001)
Milind Dawande, John N. Hooker
Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming. Oper. Res. 48 (4) (2000)
Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker
Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Electron. Notes Discret. Math. 4 (2000)
John N. Hooker
Inference Duality as a Basis for Sensitivity Analysis. Constraints An Int. J. 4 (2) (1999)
John N. Hooker, María Auxilio Osorio Lama
Mixed Logical-linear Programming. Discret. Appl. Math. (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)
Hong Yan, John N. Hooker
Tight representation of logical constraints as cardinality rules. Math. Program. 85 (2) (1999)
John N. Hooker
Inference Duality as a Basis for Secitivity Analysis. CP (1996)
John N. Hooker
Resolution and the integrality of satisfiability problems. Math. Program. 74 (1996)
K. A. Andersen, John N. Hooker
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Ann. Oper. Res. 65 (1) (1996)
K. A. Andersen, John N. Hooker
A linear programming framework for logics of uncertainty. Decis. Support Syst. 16 (1) (1996)
John N. Hooker, N. R. Natraj
Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search. Transp. Sci. 29 (1) (1995)

John N. Hooker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John N. Hooker