John N. Hooker

132 papers A* 3A 14B 17C 2Misc 5Journal 77Unranked 8

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Assessing Group Fairness with Social Welfare Optimization. CPAIOR (1) Violet Xinying Chen, John N. Hooker, Derek Leben
2024	J	`jnl`	Assessing Group Fairness with Social Welfare Optimization. CoRR Violet Xinying Chen, John N. Hooker, Derek Leben
2024	J	`jnl`	Operational Research: methods and applications. J. Oper. Res. Soc. 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
2024	J	`jnl`	Seamless Multimodal Transportation Scheduling. INFORMS J. Comput. Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori
2023	J	`jnl`	A guide to formulating fairness in an optimization model. Ann. Oper. Res. Violet Xinying Chen, John N. Hooker
2023	J	`jnl`	Achieving consistency with cutting planes. Math. Program. Danial Davarnia, Atefeh Rajabalizadeh, John N. Hooker
2022	J	`jnl`	Combining leximax fairness and efficiency in a mathematical programming model. Eur. J. Oper. Res. Violet Xinying Chen, John N. Hooker
2022	Misc	`conf`	Stochastic Binary Decision Diagrams. ISAIM John N. Hooker
2022	B	`conf`	Stochastic Decision Diagrams. CPAIOR John N. Hooker
2022	J	`jnl`	Stochastic Planning and Scheduling with Logic-Based Benders Decomposition. INFORMS J. Comput. Özgün Elçi, John N. Hooker
2021	J	`jnl`	Fairness through Optimization. CoRR Violet Xinying Chen, John N. Hooker
2021	J	`jnl`	Taking Principles Seriously: A Hybrid Approach to Value Alignment in Artificial Intelligence. J. Artif. Intell. Res. Tae Wan Kim, John N. Hooker, Thomas Donaldson
2021	J	`jnl`	When is it permissible for artificial intelligence to lie? A trust-based approach. CoRR Tae Wan Kim, Tong Lu, Kyusong Lee, Zhaoqi Cheng, Yanhan (Savannah) Tang, John N. Hooker
2020	C	`conf`	A Just Approach Balancing Rawlsian Leximax Fairness and Utilitarianism. AIES Violet (Xinying) Chen, John N. Hooker
2020	J	`jnl`	Balancing Fairness and Efficiency in an Optimization Model. CoRR Violet (Xinying) Chen, John N. Hooker
2020	J	`jnl`	Compact representation of near-optimal integer programming solutions. Math. Program. Thiago Serra, John N. Hooker
2020	J	`jnl`	Optimization Bounds from the Branching Dual. INFORMS J. Comput. Gerdus Benadè, John N. Hooker
2020	J	`jnl`	Taking Principles Seriously: A Hybrid Approach to Value Alignment. CoRR Tae Wan Kim, John N. Hooker, Thomas Donaldson
2019	J	`jnl`	A Logic-Based Benders Approach to Home Healthcare Delivery. Transp. Sci. Aliza Heching, John N. Hooker, Ryo Kimura
2019	A*	`conf`	A Multi-Label A* Algorithm for Multi-Agent Pathfinding. ICAPS Florian Grenouilleau, Willem-Jan van Hoeve, John N. Hooker
2019	B	`conf`	Consistency for 0-1 Programming. CPAIOR Danial Davarnia, John N. Hooker
2019	J	`jnl`	Grounding Value Alignment with Ethical Principles. CoRR Tae Wan Kim, Thomas Donaldson, John N. Hooker
2019	A	`conf`	Improved Job Sequencing Bounds from Decision Diagrams. CP John N. Hooker
2019	J	`jnl`	Improved Job sequencing Bounds from Decision Diagrams. CoRR John N. Hooker
2019	B	`conf`	Last-Mile Scheduling Under Uncertainty. CPAIOR Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori
2019	J	`jnl`	Optimization Bounds from the Branching Dual. CoRR J. G. Benade, John N. Hooker
2019	J	`jnl`	Truly Autonomous Machines Are Ethical. AI Mag. John N. Hooker, Tae Wan Kim
2018	J	`jnl`	Consistency for 0-1 Programming. CoRR Danial Davarnia, John N. Hooker
2018	J	`jnl`	Constraint programming and operations research. Constraints An Int. J. John N. Hooker, Willem Jan van Hoeve
2018	Misc	`conf`	Dynamic Programming Bounds from Decision Diagrams. ISAIM John N. Hooker
2018	J	`jnl`	Mimetic vs Anchored Value Alignment in Artificial Intelligence. CoRR Tae Wan Kim, Thomas Donaldson, John N. Hooker
2018	A	`ed.`	Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings CP John N. Hooker
2018	A*	`conf`	The Integrated Last-Mile Transportation Problem (ILMTP). ICAPS Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori
2018	C	`conf`	Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics: A Deontological Approach Based on Modal Logic. AIES John N. Hooker, Tae Wan Kim
2018	J	`jnl`	Truly Autonomous Machines Are Ethical. CoRR John N. Hooker
2017	A	`conf`	Job Sequencing Bounds from Decision Diagrams. CP John N. Hooker
2016	—	`book`	Decision Diagrams for Optimization David Bergman, André A. Ciré, Willem-Jan van Hoeve, John N. Hooker
2016	J	`jnl`	Discrete Optimization with Decision Diagrams. INFORMS J. Comput. David Bergman, André Augusto Ciré, Willem-Jan van Hoeve, John N. Hooker
2016	A	`conf`	Finding Alternative Musical Scales. CP John N. Hooker
2016	J	`jnl`	Integer programming as projection. Discret. Optim. H. Paul Williams, John N. Hooker
2016	Misc	`conf`	Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. ISAIM Aliza Heching, John N. Hooker
2016	J	`jnl`	Logic-based Benders decomposition for planning and scheduling: a computational analysis. Knowl. Eng. Rev. André Augusto Ciré, Elvin Coban, John N. Hooker
2016	J	`jnl`	Modeling with Metaconstraints and Semantic Typing of Variables. INFORMS J. Comput. André Augusto Ciré, John N. Hooker, Tallys H. Yunes
2016	A*	`conf`	Projection, Inference, and Consistency. IJCAI John N. Hooker
2016	J	`jnl`	Projection, consistency, and George Boole. Constraints An Int. J. John N. Hooker
2016	B	`conf`	Scheduling Home Hospice Care with Logic-Based Benders Decomposition. CPAIOR Aliza R. Heching, John N. Hooker
2015	J	`jnl`	Toward unification of exact and heuristic optimization methods. Int. Trans. Oper. Res. John N. Hooker
2014	J	`jnl`	Graph coloring inequalities from all-different systems. Constraints An Int. J. David Bergman, John N. Hooker
2014	A	`conf`	Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). CP David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker
2014	J	`jnl`	Optimization Bounds from Binary Decision Diagrams. INFORMS J. Comput. David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker
2014	—	`conf`	Robust Scheduling with Logic-Based Benders Decomposition. OR Elvin Coban, Aliza Heching, John N. Hooker, Alan Scheller-Wolf
2014	J	`jnl`	Scheduling multiple factory cranes on a common track. Comput. Oper. Res. Ben Peterson, Iiro Harjunkoski, Samid Hoda, John N. Hooker
2014	J	`jnl`	Scope for industrial applications of production scheduling models and solution methods. Comput. Chem. Eng. 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
2014	Misc	`conf`	The Separation Problem for Binary Decision Diagrams. ISAIM André A. Ciré, John N. Hooker
2013	B	`conf`	Decision Diagrams and Dynamic Programming. CPAIOR John N. Hooker
2013	B	`conf`	Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. CPAIOR André A. Ciré, Elvin Coban, John N. Hooker
2013	J	`jnl`	Single-facility scheduling by logic-based Benders decomposition. Ann. Oper. Res. Elvin Coban, John N. Hooker
2012	J	`jnl`	Combining Equity and Utilitarianism in a Mathematical Programming Model. Manag. Sci. John N. Hooker, H. Paul Williams
2012	B	`conf`	Graph Coloring Facets from All-Different Systems. CPAIOR David Bergman, John N. Hooker
2012	B	`conf`	Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. CPAIOR David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker
2011	B	`conf`	Manipulating MDD Relaxations for Combinatorial Optimization. CPAIOR David Bergman, Willem Jan van Hoeve, John N. Hooker
2010	A	`conf`	A Systematic Approach to MDD-Based Constraint Programming. CP Samid Hoda, Willem Jan van Hoeve, John N. Hooker
2010	J	`jnl`	An Integrated Solver for Optimization Problems. Oper. Res. Tallys H. Yunes, Ionut D. Aron, John N. Hooker
2010	J	`jnl`	Optimality conditions for distributive justice. Int. Trans. Oper. Res. John N. Hooker
2010	—	`ch.`	Optimization Methods in Logic. Boolean Models and Methods John N. Hooker, Yves Crama, Peter L. Hammer
2010	B	`conf`	Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. CPAIOR Elvin Coban, John N. Hooker
2009	—	`ch.`	Integer Programming Duality. Encyclopedia of Optimization John N. Hooker
2009	—	`ch.`	Integer Programming: Lagrangian Relaxation. Encyclopedia of Optimization John N. Hooker
2009	B	`ed.`	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 CPAIOR Willem Jan van Hoeve, John N. Hooker
2008	A	`conf`	Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann
2008	Misc	`conf`	Optimality Conditions for Distributive Justice. ISAIM John N. Hooker
2008	B	`conf`	Propagating Separable Equalities in an MDD Store. CPAIOR Tarik Hadzic, John N. Hooker, Peter Tiedemann
2008	J	`jnl`	Solving the Capacitated Local Access Network Design Problem. INFORMS J. Comput. F. Sibel Salman, R. Ravi, John N. Hooker
2007	A	`conf`	A Constraint Store Based on Multivalued Decision Diagrams. CP Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann
2007	—	`conf`	A Framework for Integrating Optimization and Constraint Programming. SARA John N. Hooker
2007	B	`conf`	Cost-Bounded Binary Decision Diagrams for 0-1 Programming. CPAIOR Tarik Hadzic, John N. Hooker
2007	—	`book`	Integrated methods for optimization. John N. Hooker
2007	J	`jnl`	Planning and Scheduling by Logic-Based Benders Decomposition. Oper. Res. John N. Hooker
2006	A	`conf`	A Filter for the Circuit Constraint. CP Latife Genç Kaya, John N. Hooker
2006	J	`jnl`	An Integrated Method for Planning and Scheduling to Minimize Tardiness. Constraints An Int. J. John N. Hooker
2006	B	`conf`	Duality in Optimization and Constraint Satisfaction. CPAIOR John N. Hooker
2006	—	`ch.`	Operations Research Methods in Constraint Programming. Handbook of Constraint Programming John N. Hooker
2005	J	`jnl`	A Hybrid Method for the Planning and Scheduling. Constraints An Int. J. John N. Hooker
2005	B	`conf`	A Search-Infer-and-Relax Framework for Integrating Solution Methods. CPAIOR John N. Hooker
2005	A	`conf`	Domain Reduction for the Circuit Constraint. CP Latife Genç Kaya, John N. Hooker
2005	A	`conf`	Planning and Scheduling to Minimize Tardiness. CP John N. Hooker
2004	A	`conf`	A Hybrid Method for Planning and Scheduling. CP John N. Hooker
2004	B	`conf`	SIMPL: A System for Integrating Optimization Techniques. CPAIOR Ionut D. Aron, John N. Hooker, Tallys H. Yunes
2003	—	`conf`	Convex Programming Methods for Global Optimization. COCOS John N. Hooker
2002	A	`conf`	A Relaxation of the Cumulative Constraint. CP John N. Hooker, Hong Yan
2002	—	`conf`	Abstracts of Invited Talks. Theory and Practice of Timed Systems @ ETAPS Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis
2002	J	`jnl`	Logic, Optimization, and Constraint Programming. INFORMS J. Comput. John N. Hooker
2002	J	`jnl`	Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Ann. Math. Artif. Intell. Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker
2002	J	`jnl`	Partial Instantiation Methods for Inference in First-Order Logic. J. Autom. Reason. John N. Hooker, G. Rago, V. Chandru, A. Shrivastava
2002	J	`jnl`	Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach. Ann. Oper. Res. Hak-Jin Kim, John N. Hooker
2001	J	`jnl`	A Declarative Modeling Framework that Integrates Solution Methods. Ann. Oper. Res. John N. Hooker, Hak-Jin Kim, Greger Ottosson
2001	J	`jnl`	Optimal Design of Truss Structures by Logic-Based Branch and Cut. Oper. Res. Srinivas Bollapragada, Omar Ghattas, John N. Hooker
2000	J	`jnl`	Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming. Oper. Res. Milind Dawande, John N. Hooker
2000	J	`jnl`	Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Electron. Notes Discret. Math. Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker
1999	J	`jnl`	Inference Duality as a Basis for Sensitivity Analysis. Constraints An Int. J. John N. Hooker
1999	J	`jnl`	Mixed Logical-linear Programming. Discret. Appl. Math. John N. Hooker, María Auxilio Osorio-Lama
1999	—	`conf`	On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. AAAI/IAAI John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim
1999	J	`jnl`	Tight representation of logical constraints as cardinality rules. Math. Program. Hong Yan, John N. Hooker
1996	J	`jnl`	A linear programming framework for logics of uncertainty. Decis. Support Syst. Kim Allan Andersen, John N. Hooker
1996	J	`jnl`	Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Ann. Oper. Res. Kim Allan Andersen, John N. Hooker
1996	A	`conf`	Inference Duality as a Basis for Secitivity Analysis. CP John N. Hooker
1996	J	`jnl`	Resolution and the integrality of satisfiability problems. Math. Program. John N. Hooker
1995	J	`jnl`	Boolean regression. Ann. Oper. Res. Endre Boros, Peter L. Hammer, John N. Hooker
1995	J	`jnl`	Branching Rules for Satisfiability. J. Autom. Reason. John N. Hooker, V. Vinay
1995	J	`jnl`	Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search. Transp. Sci. John N. Hooker, N. R. Natraj
1995	J	`jnl`	Testing heuristics: We have it all wrong. J. Heuristics John N. Hooker
1994	J	`jnl`	A Computational Study of Satisfiability Algorithms for Propositional Logic. INFORMS J. Comput. Farid Harche, John N. Hooker, Gerald L. Thompson
1994	J	`jnl`	Bayesian logic. Decis. Support Syst. Kim Allan Andersen, John N. Hooker
1994	—	`conf`	Branching Rules for Satisfiability (Extended Abstract). FSTTCS John N. Hooker, V. Vinay
1994	J	`jnl`	Logic cuts for processing networks with fixed charges. Comput. Oper. Res. John N. Hooker, Hong Yan, Ignacio E. Grossmann, Ramesh Raman
1994	—	`conf`	Logic-Based Methods for Optimization. PPCP John N. Hooker
1994	J	`jnl`	Needed: An Empirical Science of Algorithms. Oper. Res. John N. Hooker
1994	J	`jnl`	Predicting Cause-Effect Relationships from Incomplete Discrete Observations. SIAM J. Discret. Math. Endre Boros, Peter L. Hammer, John N. Hooker
1993	J	`jnl`	New methods for computing inferences in first order logic. Ann. Oper. Res. John N. Hooker
1993	J	`jnl`	Solving the incremental satisfiability problem. J. Log. Program. John N. Hooker
1992	J	`jnl`	Detecting Embedded Horn Structure in Propositional Logic. Inf. Process. Lett. V. Chandru, John N. Hooker
1992	J	`jnl`	Generalized Resolution for 0-1 Linear Inequalities. Ann. Math. Artif. Intell. John N. Hooker
1991	J	`jnl`	Extended Horn Sets In Propositional Logic. J. ACM Vijay Chandru, John N. Hooker
1991	J	`jnl`	Finite Dominating Sets for Network Location Problems. Oper. Res. John N. Hooker, Robert S. Garfinkel, C. K. Chen
1991	B	`conf`	Logical Inference and Polyhedral Projection. CSL John N. Hooker
1990	J	`jnl`	Branch-and-Cut Solution of Inference Problems in Propositional Logic. Ann. Math. Artif. Intell. John N. Hooker, C. Fedjiki
1989	J	`jnl`	Input Proofs and Rank One Cutting Planes. INFORMS J. Comput. John N. Hooker
1989	J	`jnl`	On the Vector Assignment Transp. Sci. John N. Hooker, Robert S. Garfinkel
1989	J	`jnl`	Solving nonlinear multiple-facility network location problems. Networks John N. Hooker
1988	J	`jnl`	A quantitative approach to logical inference. Decis. Support Syst. John N. Hooker
1988	J	`jnl`	Networklike metric spaces. Discret. Math. John N. Hooker
1986	J	`jnl`	Solving Nonlinear Single-Facility Network Location Problems. Oper. Res. John N. Hooker