John N. Hooker

According to our database1, John N. Hooker authored at least 103 papers between 1988 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Logic-Based Benders Approach to Home Healthcare Delivery.
Transportation Science, 2019

Grounding Value Alignment with Ethical Principles.
CoRR, 2019

Last-Mile Scheduling Under Uncertainty.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Consistency for 0-1 Programming.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Improved Job Sequencing Bounds from Decision Diagrams.
Proceedings of the Principles and Practice of Constraint Programming, 2019

A Multi-Label A* Algorithm for Multi-Agent Pathfinding.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018
Truly Autonomous Machines Are Ethical.
CoRR, 2018

Mimetic vs Anchored Value Alignment in Artificial Intelligence.
CoRR, 2018

Constraint programming and operations research.
Constraints, 2018

Dynamic Programming Bounds from Decision Diagrams.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

The Integrated Last-Mile Transportation Problem (ILMTP).
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.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017
Job Sequencing Bounds from Decision Diagrams.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
Decision Diagrams for Optimization
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.
Knowledge Eng. Review, 2016

Modeling with Metaconstraints and Semantic Typing of Variables.
INFORMS Journal on Computing, 2016

Discrete Optimization with Decision Diagrams.
INFORMS Journal on Computing, 2016

Projection, consistency, and George Boole.
Constraints, 2016

Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Projection, Inference, and Consistency.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Scheduling Home Hospice Care with Logic-Based Benders Decomposition.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Finding Alternative Musical Scales.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Toward unification of exact and heuristic optimization methods.
ITOR, 2015

2014
Optimization Bounds from Binary Decision Diagrams.
INFORMS Journal on Computing, 2014

Scheduling multiple factory cranes on a common track.
Computers & OR, 2014

Graph coloring inequalities from all-different systems.
Constraints, 2014

Scope for industrial applications of production scheduling models and solution methods.
Computers & Chemical Engineering, 2014

Robust Scheduling with Logic-Based Benders Decomposition.
Proceedings of the Operations Research Proceedings 2014, 2014

The Separation Problem for Binary Decision Diagrams.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Optimization Bounds from Binary Decision Diagrams - (Extended Abstract).
Proceedings of the Principles and Practice of Constraint Programming, 2014

2013
Single-facility scheduling by logic-based Benders decomposition.
Annals OR, 2013

Decision Diagrams and Dynamic Programming.
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.
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.
Management Science, 2012

Graph Coloring Facets from All-Different Systems.
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.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

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

2010
Optimality conditions for distributive justice.
ITOR, 2010

An Integrated Solver for Optimization Problems.
Operations Research, 2010

Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition.
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.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Optimization Methods in Logic.
Proceedings of the Boolean Models and Methods in Mathematics, 2010

2009
Integer Programming Duality.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Integer Programming: Lagrangian Relaxation.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

2008
Solving the Capacitated Local Access Network Design Problem.
INFORMS Journal on Computing, 2008

Propagating Separable Equalities in an MDD Store.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
Planning and Scheduling by Logic-Based Benders Decomposition.
Operations Research, 2007

A Framework for Integrating Optimization and Constraint Programming.
Proceedings of the Abstraction, 2007

Cost-Bounded Binary Decision Diagrams for 0-1 Programming.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2007

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

2006
Operations Research Methods in Constraint Programming.
Proceedings of the Handbook of Constraint Programming, 2006

An Integrated Method for Planning and Scheduling to Minimize Tardiness.
Constraints, 2006

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

A Filter for the Circuit Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
A Hybrid Method for the Planning and Scheduling.
Constraints, 2005

A Search-Infer-and-Relax Framework for Integrating Solution Methods.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Domain Reduction for the Circuit Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Planning and Scheduling to Minimize Tardiness.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
SIMPL: A System for Integrating Optimization Techniques.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003
Convex Programming Methods for Global Optimization.
Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002
Partial Instantiation Methods for Inference in First-Order Logic.
J. Autom. Reasoning, 2002

Logic, Optimization, and Constraint Programming.
INFORMS Journal on Computing, 2002

Abstracts of Invited Talks.
Electr. Notes Theor. Comput. Sci., 2002

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

A Relaxation of the Cumulative Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
Optimal Design of Truss Structures by Logic-Based Branch and Cut.
Operations Research, 2001

A Declarative Modeling Framework that Integrates Solution Methods.
Annals OR, 2001

2000
Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming.
Operations Research, 2000

Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers.
Electronic Notes in Discrete Mathematics, 2000

1999
Tight representation of logical constraints as cardinality rules.
Math. Program., 1999

Mixed Logical-linear Programming.
Discrete Applied Mathematics, 1999

Inference Duality as a Basis for Sensitivity Analysis.
Constraints, 1999

On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization.
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.
Math. Program., 1996

A linear programming framework for logics of uncertainty.
Decision Support Systems, 1996

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

Inference Duality as a Basis for Secitivity Analysis.
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.
Transportation Science, 1995

Branching Rules for Satisfiability.
J. Autom. Reasoning, 1995

Testing heuristics: We have it all wrong.
J. Heuristics, 1995

Boolean regression.
Annals OR, 1995

1994
Predicting Cause-Effect Relationships from Incomplete Discrete Observations.
SIAM J. Discrete Math., 1994

Needed: An Empirical Science of Algorithms.
Operations Research, 1994

A Computational Study of Satisfiability Algorithms for Propositional Logic.
INFORMS Journal on Computing, 1994

Bayesian logic.
Decision Support Systems, 1994

Logic cuts for processing networks with fixed charges.
Computers & OR, 1994

Logic-Based Methods for Optimization.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Branching Rules for Satisfiability (Extended Abstract).
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1993
Solving the incremental satisfiability problem.
J. Log. Program., 1993

New methods for computing inferences in first order logic.
Annals OR, 1993

1992
Detecting Embedded Horn Structure in Propositional Logic.
Inf. Process. Lett., 1992

Generalized Resolution for 0-1 Linear Inequalities.
Ann. Math. Artif. Intell., 1992

1991
Extended Horn Sets In Propositional Logic.
J. ACM, 1991

Finite Dominating Sets for Network Location Problems.
Operations Research, 1991

Logical Inference and Polyhedral Projection.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
Branch-and-Cut Solution of Inference Problems in Propositional Logic.
Ann. Math. Artif. Intell., 1990

1989
On the Vector Assignment p-Median Problem.
Transportation Science, 1989

Solving nonlinear multiple-facility network location problems.
Networks, 1989

Input Proofs and Rank One Cutting Planes.
INFORMS Journal on Computing, 1989

1988
A quantitative approach to logical inference.
Decision Support Systems, 1988

Networklike metric spaces.
Discrete Mathematics, 1988


  Loading...