The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "John N. Hooker" ( http://dblp.L3S.de/Authors/John_N._Hooker )

URL (Homepage):  http://ba.gsia.cmu.edu/jnh/  Author page on DBLP  Author page in RDF  Community of John N. Hooker in ASPL-2

Publication years (Num. hits)
1988-1994 (20) 1995-2001 (16) 2002-2006 (17) 2007-2010 (17) 2011-2015 (15) 2016-2018 (18) 2019 (6)
Publication types (Num. hits)
article(59) book(2) incollection(4) inproceedings(42) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords

Results
Found 110 publication records. Showing 109 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tae Wan Kim, Thomas Donaldson, John N. Hooker Grounding Value Alignment with Ethical Principles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Aliza Heching, John N. Hooker, Ryo Kimura A Logic-Based Benders Approach to Home Healthcare Delivery. Search on Bibsonomy Transportation Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Danial Davarnia, John N. Hooker Consistency for 0-1 Programming. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori Last-Mile Scheduling Under Uncertainty. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1John N. Hooker Improved Job Sequencing Bounds from Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Grenouilleau, Willem-Jan van Hoeve, John N. Hooker A Multi-Label A* Algorithm for Multi-Agent Pathfinding. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1John N. Hooker Truly Autonomous Machines Are Ethical. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tae Wan Kim, Thomas Donaldson, John N. Hooker Mimetic vs Anchored Value Alignment in Artificial Intelligence. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Danial Davarnia, John N. Hooker Consistency for 0-1 Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1John N. Hooker, Willem Jan van Hoeve Constraint programming and operations research. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John N. Hooker (eds.) Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori The Integrated Last-Mile Transportation Problem (ILMTP). Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1John N. Hooker Dynamic Programming Bounds from Decision Diagrams. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1John N. Hooker, Tae Wan Kim Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics: A Deontological Approach Based on Modal Logic. Search on Bibsonomy AIES The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John N. Hooker Job Sequencing Bounds from Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1André Augusto Ciré, John N. Hooker, Tallys H. Yunes Modeling with Metaconstraints and Semantic Typing of Variables. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Bergman, André Augusto Ciré, Willem-Jan van Hoeve, John N. Hooker Discrete Optimization with Decision Diagrams. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1André Augusto Ciré, Elvin Coban, John N. Hooker Logic-based Benders decomposition for planning and scheduling: a computational analysis. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John N. Hooker Projection, consistency, and George Boole. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Bergman, André A. Ciré, Willem-Jan van Hoeve, John N. Hooker Decision Diagrams for Optimization Search on Bibsonomy 2016   DOI  RDF
1Aliza R. Heching, John N. Hooker Scheduling Home Hospice Care with Logic-Based Benders Decomposition. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John N. Hooker Finding Alternative Musical Scales. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aliza Heching, John N. Hooker Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1John N. Hooker Projection, Inference, and Consistency. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1John N. Hooker Toward unification of exact and heuristic optimization methods. Search on Bibsonomy ITOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Iiro 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. Search on Bibsonomy Computers & Chemical Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker Optimization Bounds from Binary Decision Diagrams. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ben Peterson, Iiro Harjunkoski, Samid Hoda, John N. Hooker Scheduling multiple factory cranes on a common track. Search on Bibsonomy Computers & OR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Bergman, John N. Hooker Graph coloring inequalities from all-different systems. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvin Coban, Aliza Heching, John N. Hooker, Alan Scheller-Wolf Robust Scheduling with Logic-Based Benders Decomposition. Search on Bibsonomy OR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1André A. Ciré, John N. Hooker The Separation Problem for Binary Decision Diagrams. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Elvin Coban, John N. Hooker Single-facility scheduling by logic-based Benders decomposition. Search on Bibsonomy Annals OR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1John N. Hooker Decision Diagrams and Dynamic Programming. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1André A. Ciré, Elvin Coban, John N. Hooker Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1John N. Hooker, H. Paul Williams Combining Equity and Utilitarianism in a Mathematical Programming Model. Search on Bibsonomy Management Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Bergman, John N. Hooker Graph Coloring Facets from All-Different Systems. Search on Bibsonomy CPAIOR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. Search on Bibsonomy CPAIOR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Bergman, Willem Jan van Hoeve, John N. Hooker Manipulating MDD Relaxations for Combinatorial Optimization. Search on Bibsonomy CPAIOR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tallys H. Yunes, Ionut D. Aron, John N. Hooker An Integrated Solver for Optimization Problems. Search on Bibsonomy Operations Research The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John N. Hooker Optimality conditions for distributive justice. Search on Bibsonomy ITOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John N. Hooker, Yves Crama, Peter L. Hammer Optimization Methods in Logic. Search on Bibsonomy Boolean Models and Methods The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvin Coban, John N. Hooker Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. Search on Bibsonomy CPAIOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Samid Hoda, Willem Jan van Hoeve, John N. Hooker A Systematic Approach to MDD-Based Constraint Programming. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John N. Hooker Integer Programming: Lagrangian Relaxation. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Lagrangian dual, Integer programming, Branch and bound, Lagrangian relaxation, Lagrange multipliers
1John N. Hooker Integer Programming Duality. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Integer programming, Duality
1Willem Jan van Hoeve, John N. Hooker (eds.) 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 Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1F. Sibel Salman, R. Ravi 0001, John N. Hooker Solving the Capacitated Local Access Network Design Problem. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tarik Hadzic, John N. Hooker, Peter Tiedemann Propagating Separable Equalities in an MDD Store. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann Approximate Compilation of Constraints into Multivalued Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John N. Hooker Optimality Conditions for Distributive Justice. Search on Bibsonomy ISAIM The full citation details ... 2008 DBLP  BibTeX  RDF
1John N. Hooker Planning and Scheduling by Logic-Based Benders Decomposition. Search on Bibsonomy Operations Research The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1John N. Hooker Integrated methods for optimization. Search on Bibsonomy 2007   RDF
1Tarik Hadzic, John N. Hooker Cost-Bounded Binary Decision Diagrams for 0-1 Programming. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann A Constraint Store Based on Multivalued Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1John N. Hooker A Framework for Integrating Optimization and Constraint Programming. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1John N. Hooker Operations Research Methods in Constraint Programming. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John N. Hooker An Integrated Method for Planning and Scheduling to Minimize Tardiness. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cumulative scheduling, Hybrid methods, Planning and scheduling, Benders decomposition
1John N. Hooker Duality in Optimization and Constraint Satisfaction. Search on Bibsonomy CPAIOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Latife Genç Kaya, John N. Hooker A Filter for the Circuit Constraint. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John N. Hooker A Hybrid Method for the Planning and Scheduling. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Bender's decomposition, hybrid methods, planning and scheduling
1John N. Hooker A Search-Infer-and-Relax Framework for Integrating Solution Methods. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John N. Hooker Planning and Scheduling to Minimize Tardiness. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Latife Genç Kaya, John N. Hooker Domain Reduction for the Circuit Constraint. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ionut D. Aron, John N. Hooker, Tallys H. Yunes SIMPL: A System for Integrating Optimization Techniques. Search on Bibsonomy CPAIOR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John N. Hooker A Hybrid Method for Planning and Scheduling. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John N. Hooker Convex Programming Methods for Global Optimization. Search on Bibsonomy COCOS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hak-Jin Kim, John N. Hooker Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach. Search on Bibsonomy Annals OR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John N. Hooker Logic, Optimization, and Constraint Programming. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis Abstracts of Invited Talks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John N. Hooker, G. Rago, V. Chandru, A. Shrivastava Partial Instantiation Methods for Inference in First-Order Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John N. Hooker, Hong Yan 0002 A Relaxation of the Cumulative Constraint. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John N. Hooker, Hak-Jin Kim, Greger Ottosson A Declarative Modeling Framework that Integrates Solution Methods. Search on Bibsonomy Annals OR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF linear programming, constraint programming, nonlinear programming, mathematical programming, modeling language, constraint propagation, optimization method
1Srinivas Bollapragada, Omar Ghattas, John N. Hooker Optimal Design of Truss Structures by Logic-Based Branch and Cut. Search on Bibsonomy Operations Research The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Milind Dawande, John N. Hooker Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming. Search on Bibsonomy Operations Research The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John N. Hooker, María Auxilio Osorio Lama Mixed Logical-linear Programming. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Hong Yan 0002, John N. Hooker Tight representation of logical constraints as cardinality rules. Search on Bibsonomy Math. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John N. Hooker Inference Duality as a Basis for Sensitivity Analysis. Search on Bibsonomy Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. Search on Bibsonomy AAAI/IAAI The full citation details ... 1999 DBLP  BibTeX  RDF
1K. A. Andersen, John N. Hooker A linear programming framework for logics of uncertainty. Search on Bibsonomy Decision Support Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1K. A. Andersen, John N. Hooker Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Search on Bibsonomy Annals OR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1John N. Hooker Resolution and the integrality of satisfiability problems. Search on Bibsonomy Math. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1John N. Hooker Inference Duality as a Basis for Secitivity Analysis. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Endre Boros, Peter L. Hammer, John N. Hooker Boolean regression. Search on Bibsonomy Annals OR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1John N. Hooker Testing heuristics: We have it all wrong. Search on Bibsonomy J. Heuristics The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1John N. Hooker, V. Vinay Branching Rules for Satisfiability. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1John N. Hooker, N. R. Natraj Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search. Search on Bibsonomy Transportation Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1K. A. Andersen, John N. Hooker Bayesian logic. Search on Bibsonomy Decision Support Systems The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Farid Harche, John N. Hooker, Gerald L. Thompson A Computational Study of Satisfiability Algorithms for Propositional Logic. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John N. Hooker Needed: An Empirical Science of Algorithms. Search on Bibsonomy Operations Research The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John N. Hooker, Hong Yan 0002, Ignacio E. Grossmann, Ramesh Raman Logic cuts for processing networks with fixed charges. Search on Bibsonomy Computers & OR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Endre Boros, Peter L. Hammer, John N. Hooker Predicting Cause-Effect Relationships from Incomplete Discrete Observations. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John N. Hooker Logic-Based Methods for Optimization. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John N. Hooker, V. Vinay Branching Rules for Satisfiability (Extended Abstract). Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John N. Hooker Solving the incremental satisfiability problem. Search on Bibsonomy J. Log. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1John N. Hooker New methods for computing inferences in first order logic. Search on Bibsonomy Annals OR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1V. Chandru, John N. Hooker Detecting Embedded Horn Structure in Propositional Logic. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1John N. Hooker Generalized Resolution for 0-1 Linear Inequalities. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 109 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license