Edit Profile (opens in new tab) Hooker, John N. jun. Co-Author Distance Author ID: hooker.john-n-jun Published as: Hooker, J. N.; Hooker, John N.; Hooker, John; Hooker, John N. jun. more...less Documents Indexed: 94 Publications since 1986, including 5 Books and 6 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 121 Co-Authors with 53 Joint Publications 3,118 Co-Co-Authors all top 5 Co-Authors 36 single-authored 6 van Hoeve, Willem-Jan 5 Ciré, André Augusto 4 Coban, Elvin 4 Ottosson, Greger 3 Chen, Violet Xinying 3 Serra, Thiago R. 3 Yunes, Tallys H. 2 Aron, Ionuţ D. 2 Benadè, Gerdus 2 Boros, Endre 2 Davarnia, Danial 2 Garfinkel, Robert S. 2 Hammer, Peter Ladislaw 2 Heching, Aliza 2 Kim, Hak-Jin 2 Kobori, Shingo 2 Raghunathan, Arvind U. 2 Thorsteinsson, Erlendur S. 2 Vinay, V. 2 Yan, Hong 1 Aktaş, Emel 1 Alumur, Sibel A. 1 Andersen, Kim Allan 1 Archetti, Claudia 1 Ayhan, Hayriye 1 Battarra, Maria 1 Bennell, Julia A. 1 Bockmayr, Alexander 1 Bollapragada, Srinivas 1 Bourjolly, Jean-Marie 1 Boylan, John Edward 1 Breton, Michèle 1 Canca, David 1 Chandru, Vijay 1 Charlin, Laurent 1 Chen, Bo 1 Cicek, Cihan Tugrul 1 Cox, Louis Anthony jun. 1 Currie, Christine S. M. 1 Dawande, Milind W. 1 Demeulemeester, Erik L. 1 Ding, Li 1 Disney, Stephen M. 1 Donaldson, Thomas 1 Ehrgott, Matthias 1 Elçi, Özgün 1 Eppler, Martin J. 1 Erdoğan, Güneş 1 Fedjki, Chawki A. 1 Fortz, Bernard 1 Franco, L. Alberto 1 Frische, Jens 1 Genc-Kaya, Latife 1 Greco, Salvatore 1 Gregory, Amanda J. 1 Grossmann, Ignacio E. 1 Hadžić, Tarik 1 Hämäläinen, Raimo P. 1 Harche, Farid 1 Harjunkoski, Iiro 1 Herroelen, Willy S. 1 Hewitt, Mike 1 Ho-Nguyen, Nam 1 Hoda, Samid 1 Holmström, Jan 1 Işık, Tuğçe 1 Johnes, Jill 1 Kara, Bahar Yetis 1 Karsu, Özlem 1 Kent, Katherine 1 Kim, Taewan 1 Köhler, Charlotte 1 Kunc, Martin 1 Kuo, Yonghong 1 Laporte, Gilbert 1 Letchford, Adam N. 1 Leung, Janny M. Y. 1 Lienert, Judit 1 Ljubić, Ivana 1 Lodi, Andrea 1 Lozano, Sebastián 1 Lurkin, Virginie 1 Martello, Silvano 1 Mchale, Ian G. 1 Midgley, Gerald 1 Morecroft, John D. W. 1 Mutha, Akshay 1 Natraj, N. R. 1 Oğuz, Ceyda 1 Osorio Lama, María Auxilio 1 Peterson, Ben 1 Petropoulos, Fotios 1 Petrović, Sanja 1 Pferschy, Ulrich 1 Psaraftis, Harilaos N. 1 Rago, Gabriella 1 Rajabalizadeh, Atefeh 1 Raman, Ramesh 1 Ravi, Ramamoorthi 1 Rose, Sam ...and 24 more Co-Authors all top 5 Serials 7 Operations Research 7 Annals of Operations Research 7 INFORMS Journal on Computing 6 Constraints 5 Mathematical Programming. Series A. Series B 3 Annals of Mathematics and Artificial Intelligence 2 Computers & Operations Research 2 Journal of Automated Reasoning 2 Transportation Science 2 ORSA Journal on Computing 2 International Transactions in Operational Research 2 International Series in Operations Research & Management Science 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Information Processing Letters 1 Journal of the Association for Computing Machinery 1 Networks 1 Operations Research Letters 1 The Journal of Logic Programming 1 SIAM Journal on Discrete Mathematics 1 European Journal of Operational Research 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Heuristics 1 Discrete Optimization 1 Lecture Notes in Computer Science 1 Artificial Intelligence: Foundations, Theory, and Algorithms 1 Wiley-Interscience Series in Discrete Mathematics and Optimization all top 5 Fields 73 Operations research, mathematical programming (90-XX) 33 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 77 Publications have been cited 1,036 times in 631 Documents Cited by ▼ Year ▼ Logic-based Benders decomposition. Zbl 1023.90082 Hooker, J. N.; Ottosson, G. 150 2003 Logic-based methods for optimization. Combining optimization and constraint satisfaction. Zbl 0974.90001 Hooker, John 78 2000 Planning and scheduling by logic-based Benders decomposition. Zbl 1167.90512 Hooker, J. N. 77 2007 Testing heuristics: We have it all wrong. Zbl 0853.68155 Hooker, J. N. 48 1995 Finite dominating sets for network location problems. Zbl 0744.90049 Hooker, J. N.; Garfinkel, R. S.; Chen, C. K. 42 1991 Discrete optimization with decision diagrams. Zbl 1338.90260 Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, J. N. 38 2016 Decision diagrams for optimization. Zbl 06653190 Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, John 36 2016 Extended Horn sets in propositional logic. Zbl 0942.68721 Chandru, V.; Hooker, J. N. 35 1991 Optimizations methods for logical inference. Zbl 0997.90506 Chandru, Vijay; Hooker, John 34 1999 Needed: An empirical science of algorithms. Zbl 0805.90119 Hooker, J. N. 32 1994 Mixed logical-linear programming. Zbl 0945.90031 Hooker, J. N.; Osorio, M. A. 27 1999 Logic, optimization, and constraint programming. Zbl 1238.90002 Hooker, John N. 27 2002 A hybrid method for the planning and scheduling. Zbl 1122.90054 Hooker, J. N. 26 2005 Optimization bounds from binary decision diagrams. Zbl 1356.90083 Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, J. N. 22 2014 Resolution vs. cutting plane solution of inference problems: Some computational experience. Zbl 0639.90070 Hooker, J. N. 22 1988 Branching rules for satisfiability. Zbl 0838.68098 Hooker, J. N.; Vinay, V. 22 1995 Manipulating MDD relaxations for combinatorial optimization. Zbl 1302.90166 Bergman, David; van Hoeve, Willem-Jan; Hooker, John N. 22 2011 Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065 Hooker, J. N.; Fedjki, C. 21 1990 Solving fixed-charge network flow problems with a hybrid optimization and constraint programming approach. Zbl 1013.90010 Kim, Hak-Jin; Hooker, John N. 18 2002 Integrated methods for optimization. 2nd ed. Zbl 1263.90002 Hooker, John N. 17 2012 Integrated methods for optimization. Zbl 1122.90002 Hooker, John N. 16 2007 A hybrid method for planning and scheduling. Zbl 1152.90445 Hooker, John N. 16 2004 Optimal design of truss structures by logic-based branch and cut. Zbl 1163.90827 Bollapragada, S.; Ghattas, O.; Hooker, J. N. 14 2001 Tight representation of logical constraints as cardinality rules. Zbl 0954.90043 Yan, Hong; Hooker, J. N. 13 1999 Solving the capacitated local access network design problem. Zbl 1243.90034 Salman, F. Sibel; Ravi, R.; Hooker, John N. 13 2008 Generalized resolution for 0–1 linear inequalities. Zbl 0955.68503 Hooker, J. N. 13 1992 A computational study of satisfiability algorithms for propositional logic. Zbl 0811.03004 Harche, F.; Hooker, J. N.; Thompson, G. L. 12 1994 Input proofs and rank one cutting planes. Zbl 0752.90051 Hooker, John N. jun. 12 1989 Decision diagrams and dynamic programming. Zbl 1382.90113 Hooker, John N. 12 2013 Logic-based Benders decomposition for large-scale optimization. Zbl 1446.90108 Hooker, John N. 12 2019 An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811 Hooker, J. N. 11 2006 An integrated solver for optimization problems. Zbl 1226.90047 Yunes, Tallys; Aron, Ionuţ D.; Hooker, J. N. 11 2010 Solving the incremental satisfiability problem. Zbl 0787.68049 Hooker, J. N. 11 1993 Logic cuts for processing networks with fixed charges. Zbl 0789.90057 Hooker, J. N.; Yan, H.; Grossmann, I. E.; Raman, R. 10 1994 Cost-bounded binary decision diagrams for 0-1 programming. Zbl 1214.90084 Hadžić, Tarik; Hooker, J. N. 10 2007 Planning and scheduling to minimize tardiness. Zbl 1153.90423 Hooker, J. N. 10 2005 Inference-based sensitivity analysis for mixed integer/linear programming. Zbl 1106.90377 Dawande, M. W.; Hooker, J. N. 9 2000 Single-facility scheduling by logic-based Benders decomposition. Zbl 1284.90023 Coban, Elvin; Hooker, J. N. 9 2013 Predicting cause-effect relationships from incomplete discrete observations. Zbl 0815.62047 Boros, E.; Hammer, P. L.; Hooker, J. N. 9 1994 Graph coloring inequalities from all-different systems. Zbl 1316.90056 Bergman, David; Hooker, J. N. 8 2014 Logical inference and polyhedral projection. Zbl 0819.68105 Hooker, J. N. 8 1992 Detecting embedded Horn structure in propositional logic. Zbl 0780.68055 Chandru, V.; Hooker, J. N. 8 1992 Partial instantiation methods for inference in first-order logic. Zbl 0995.03010 Hooker, J. N.; Rago, G.; Chandru, V.; Shrivastava, A. 7 2002 Resolution and the integrality of satisfiability problems. Zbl 0868.90082 Hooker, J. N. 7 1996 Scheduling home hospice care with logic-based Benders decomposition. Zbl 1479.90094 Heching, Aliza; Hooker, John N. 6 2016 Scheduling multiple factory cranes on a common track. Zbl 1348.90299 Peterson, Ben; Harjunkoski, Iiro; Hoda, Samid; Hooker, J. N. 5 2014 SIMPL: A system for integrating optimization techniques. Zbl 1094.68636 Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H. 5 2004 Mixed global constraints and inference in hybrid CLP–IP solvers. Zbl 1026.90062 Ottosson, Greger; Thorsteinsson, Erlendur S.; Hooker, John N. 5 2002 Solving a general routing and scheduling problem by chain decomposition and tabu search. Zbl 0826.90044 Hooker, J. N.; Natraj, N. R. 5 1995 Boolean regression. Zbl 0836.90120 Boros, E.; Hammer, P. L.; Hooker, J. N. 5 1995 Convex programming methods for global optimization. Zbl 1132.90362 Hooker, J. N. 5 2005 Mixed integer programming versus logic-based Benders decomposition for planning and scheduling. Zbl 1382.90061 Ciré, André; Coban, Elvin; Hooker, John N. 5 2013 Constraint programming. Zbl 1278.90373 Bockmayr, Alexander; Hooker, John N. 4 2005 Stochastic planning and scheduling with logic-based Benders decomposition. Zbl 1502.90072 Elçi, Özgün; Hooker, John 4 2022 Last-mile scheduling under uncertainty. Zbl 1527.90108 Serra, Thiago; Raghunathan, Arvind U.; Bergman, David; Hooker, John; Kobori, Shingo 3 2019 Solving nonlinear single-facility network location problems. Zbl 0619.90020 Hooker, John 3 1986 Solving nonlinear multiple-facility network location problems. Zbl 0672.90045 Hooker, J. N. 3 1989 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. Zbl 1163.68006 3 2009 Projection, consistency, and George Boole. Zbl 1396.03041 Hooker, J. N. 3 2016 Hybrid modeling. Zbl 1206.90177 Hooker, John N. 3 2011 A search-infer-and-relax framework for integrating solution methods. Zbl 1133.68430 Hooker, J. N. 3 2005 Single-facility scheduling over long time horizons by logic-based Benders decomposition. Zbl 1285.68154 Coban, Elvin; Hooker, John N. 3 2010 Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Zbl 0861.03014 Andersen, K. A.; Hooker, J. N. 2 1996 Networklike metric spaces. Zbl 0633.51009 Hooker, J. N. 2 1988 Constraint satisfaction methods for generating valid cuts. Zbl 0891.68105 Hooker, J. N. 2 1998 Branching rules for satisfiability (extended abstract). Zbl 1044.68766 Hooker, J. N.; Vinay, V. 2 1994 Integer programming as projection. Zbl 1387.90146 Williams, H. P.; Hooker, J. N. 2 2016 Combining leximax fairness and efficiency in a mathematical programming model. Zbl 1495.91054 Chen, Violet Xinying; Hooker, J. N. 2 2022 Robust scheduling with logic-based Benders decomposition. Zbl 1342.90049 Coban, Elvin; Heching, Aliza; Hooker, J. N.; Scheller-Wolf, Alan 2 2016 Constraint programming and operations research. Zbl 1402.90148 Hooker, J. N.; van Hoeve, W.-J. 2 2018 Mixed global constraints and inference in hybrid CLP-IP solvers. Zbl 0990.90544 Ottosson, Greger; Thorsteinsson, Erlendur S.; Hooker, John N. 1 2000 A declarative modeling framework that integrates solution methods. Zbl 1008.90060 Hooker, J. N.; Kim, Hak-Jin; Ottosson, G. 1 2001 Consistency for 0-1 programming. Zbl 1525.90268 Davarnia, Danial; Hooker, J. N. 1 2019 New methods for computing inferences in first order logic. Zbl 0788.03014 Hooker, J. N. 1 1993 Optimality conditions for distributive justice. Zbl 1213.91062 Hooker, J. N. 1 2010 Duality in optimization and constraint satisfaction. Zbl 1177.68188 Hooker, J. N. 1 2006 Compact representation of near-optimal integer programming solutions. Zbl 1445.90061 Serra, Thiago; Hooker, J. N. 1 2020 Stochastic planning and scheduling with logic-based Benders decomposition. Zbl 1502.90072 Elçi, Özgün; Hooker, John 4 2022 Combining leximax fairness and efficiency in a mathematical programming model. Zbl 1495.91054 Chen, Violet Xinying; Hooker, J. N. 2 2022 Compact representation of near-optimal integer programming solutions. Zbl 1445.90061 Serra, Thiago; Hooker, J. N. 1 2020 Logic-based Benders decomposition for large-scale optimization. Zbl 1446.90108 Hooker, John N. 12 2019 Last-mile scheduling under uncertainty. Zbl 1527.90108 Serra, Thiago; Raghunathan, Arvind U.; Bergman, David; Hooker, John; Kobori, Shingo 3 2019 Consistency for 0-1 programming. Zbl 1525.90268 Davarnia, Danial; Hooker, J. N. 1 2019 Constraint programming and operations research. Zbl 1402.90148 Hooker, J. N.; van Hoeve, W.-J. 2 2018 Discrete optimization with decision diagrams. Zbl 1338.90260 Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, J. N. 38 2016 Decision diagrams for optimization. Zbl 06653190 Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, John 36 2016 Scheduling home hospice care with logic-based Benders decomposition. Zbl 1479.90094 Heching, Aliza; Hooker, John N. 6 2016 Projection, consistency, and George Boole. Zbl 1396.03041 Hooker, J. N. 3 2016 Integer programming as projection. Zbl 1387.90146 Williams, H. P.; Hooker, J. N. 2 2016 Robust scheduling with logic-based Benders decomposition. Zbl 1342.90049 Coban, Elvin; Heching, Aliza; Hooker, J. N.; Scheller-Wolf, Alan 2 2016 Optimization bounds from binary decision diagrams. Zbl 1356.90083 Bergman, David; Cire, Andre A.; van Hoeve, Willem-Jan; Hooker, J. N. 22 2014 Graph coloring inequalities from all-different systems. Zbl 1316.90056 Bergman, David; Hooker, J. N. 8 2014 Scheduling multiple factory cranes on a common track. Zbl 1348.90299 Peterson, Ben; Harjunkoski, Iiro; Hoda, Samid; Hooker, J. N. 5 2014 Decision diagrams and dynamic programming. Zbl 1382.90113 Hooker, John N. 12 2013 Single-facility scheduling by logic-based Benders decomposition. Zbl 1284.90023 Coban, Elvin; Hooker, J. N. 9 2013 Mixed integer programming versus logic-based Benders decomposition for planning and scheduling. Zbl 1382.90061 Ciré, André; Coban, Elvin; Hooker, John N. 5 2013 Integrated methods for optimization. 2nd ed. Zbl 1263.90002 Hooker, John N. 17 2012 Manipulating MDD relaxations for combinatorial optimization. Zbl 1302.90166 Bergman, David; van Hoeve, Willem-Jan; Hooker, John N. 22 2011 Hybrid modeling. Zbl 1206.90177 Hooker, John N. 3 2011 An integrated solver for optimization problems. Zbl 1226.90047 Yunes, Tallys; Aron, Ionuţ D.; Hooker, J. N. 11 2010 Single-facility scheduling over long time horizons by logic-based Benders decomposition. Zbl 1285.68154 Coban, Elvin; Hooker, John N. 3 2010 Optimality conditions for distributive justice. Zbl 1213.91062 Hooker, J. N. 1 2010 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. Zbl 1163.68006 3 2009 Solving the capacitated local access network design problem. Zbl 1243.90034 Salman, F. Sibel; Ravi, R.; Hooker, John N. 13 2008 Planning and scheduling by logic-based Benders decomposition. Zbl 1167.90512 Hooker, J. N. 77 2007 Integrated methods for optimization. Zbl 1122.90002 Hooker, John N. 16 2007 Cost-bounded binary decision diagrams for 0-1 programming. Zbl 1214.90084 Hadžić, Tarik; Hooker, J. N. 10 2007 An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811 Hooker, J. N. 11 2006 Duality in optimization and constraint satisfaction. Zbl 1177.68188 Hooker, J. N. 1 2006 A hybrid method for the planning and scheduling. Zbl 1122.90054 Hooker, J. N. 26 2005 Planning and scheduling to minimize tardiness. Zbl 1153.90423 Hooker, J. N. 10 2005 Convex programming methods for global optimization. Zbl 1132.90362 Hooker, J. N. 5 2005 Constraint programming. Zbl 1278.90373 Bockmayr, Alexander; Hooker, John N. 4 2005 A search-infer-and-relax framework for integrating solution methods. Zbl 1133.68430 Hooker, J. N. 3 2005 A hybrid method for planning and scheduling. Zbl 1152.90445 Hooker, John N. 16 2004 SIMPL: A system for integrating optimization techniques. Zbl 1094.68636 Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H. 5 2004 Logic-based Benders decomposition. Zbl 1023.90082 Hooker, J. N.; Ottosson, G. 150 2003 Logic, optimization, and constraint programming. Zbl 1238.90002 Hooker, John N. 27 2002 Solving fixed-charge network flow problems with a hybrid optimization and constraint programming approach. Zbl 1013.90010 Kim, Hak-Jin; Hooker, John N. 18 2002 Partial instantiation methods for inference in first-order logic. Zbl 0995.03010 Hooker, J. N.; Rago, G.; Chandru, V.; Shrivastava, A. 7 2002 Mixed global constraints and inference in hybrid CLP–IP solvers. Zbl 1026.90062 Ottosson, Greger; Thorsteinsson, Erlendur S.; Hooker, John N. 5 2002 Optimal design of truss structures by logic-based branch and cut. Zbl 1163.90827 Bollapragada, S.; Ghattas, O.; Hooker, J. N. 14 2001 A declarative modeling framework that integrates solution methods. Zbl 1008.90060 Hooker, J. N.; Kim, Hak-Jin; Ottosson, G. 1 2001 Logic-based methods for optimization. Combining optimization and constraint satisfaction. Zbl 0974.90001 Hooker, John 78 2000 Inference-based sensitivity analysis for mixed integer/linear programming. Zbl 1106.90377 Dawande, M. W.; Hooker, J. N. 9 2000 Mixed global constraints and inference in hybrid CLP-IP solvers. Zbl 0990.90544 Ottosson, Greger; Thorsteinsson, Erlendur S.; Hooker, John N. 1 2000 Optimizations methods for logical inference. Zbl 0997.90506 Chandru, Vijay; Hooker, John 34 1999 Mixed logical-linear programming. Zbl 0945.90031 Hooker, J. N.; Osorio, M. A. 27 1999 Tight representation of logical constraints as cardinality rules. Zbl 0954.90043 Yan, Hong; Hooker, J. N. 13 1999 Constraint satisfaction methods for generating valid cuts. Zbl 0891.68105 Hooker, J. N. 2 1998 Resolution and the integrality of satisfiability problems. Zbl 0868.90082 Hooker, J. N. 7 1996 Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Zbl 0861.03014 Andersen, K. A.; Hooker, J. N. 2 1996 Testing heuristics: We have it all wrong. Zbl 0853.68155 Hooker, J. N. 48 1995 Branching rules for satisfiability. Zbl 0838.68098 Hooker, J. N.; Vinay, V. 22 1995 Solving a general routing and scheduling problem by chain decomposition and tabu search. Zbl 0826.90044 Hooker, J. N.; Natraj, N. R. 5 1995 Boolean regression. Zbl 0836.90120 Boros, E.; Hammer, P. L.; Hooker, J. N. 5 1995 Needed: An empirical science of algorithms. Zbl 0805.90119 Hooker, J. N. 32 1994 A computational study of satisfiability algorithms for propositional logic. Zbl 0811.03004 Harche, F.; Hooker, J. N.; Thompson, G. L. 12 1994 Logic cuts for processing networks with fixed charges. Zbl 0789.90057 Hooker, J. N.; Yan, H.; Grossmann, I. E.; Raman, R. 10 1994 Predicting cause-effect relationships from incomplete discrete observations. Zbl 0815.62047 Boros, E.; Hammer, P. L.; Hooker, J. N. 9 1994 Branching rules for satisfiability (extended abstract). Zbl 1044.68766 Hooker, J. N.; Vinay, V. 2 1994 Solving the incremental satisfiability problem. Zbl 0787.68049 Hooker, J. N. 11 1993 New methods for computing inferences in first order logic. Zbl 0788.03014 Hooker, J. N. 1 1993 Generalized resolution for 0–1 linear inequalities. Zbl 0955.68503 Hooker, J. N. 13 1992 Logical inference and polyhedral projection. Zbl 0819.68105 Hooker, J. N. 8 1992 Detecting embedded Horn structure in propositional logic. Zbl 0780.68055 Chandru, V.; Hooker, J. N. 8 1992 Finite dominating sets for network location problems. Zbl 0744.90049 Hooker, J. N.; Garfinkel, R. S.; Chen, C. K. 42 1991 Extended Horn sets in propositional logic. Zbl 0942.68721 Chandru, V.; Hooker, J. N. 35 1991 Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065 Hooker, J. N.; Fedjki, C. 21 1990 Input proofs and rank one cutting planes. Zbl 0752.90051 Hooker, John N. jun. 12 1989 Solving nonlinear multiple-facility network location problems. Zbl 0672.90045 Hooker, J. N. 3 1989 Resolution vs. cutting plane solution of inference problems: Some computational experience. Zbl 0639.90070 Hooker, J. N. 22 1988 Networklike metric spaces. Zbl 0633.51009 Hooker, J. N. 2 1988 Solving nonlinear single-facility network location problems. Zbl 0619.90020 Hooker, John 3 1986 all cited Publications top 5 cited Publications all top 5 Cited by 1,142 Authors 29 Hooker, John N. jun. 16 Ciré, André Augusto 14 van Hoeve, Willem-Jan 12 Rousseau, Louis-Martin 9 Beck, J. Christopher 8 Boros, Endre 7 Grossmann, Ignacio E. 7 Milano, Michela 7 Raidl, Günther R. 7 Smith-Miles, Kate A. 6 Bruni, Renato 6 Cornuéjols, Gérard P. 6 Gendron, Bernard 6 Mourtos, Ioannis 6 Puerto Albandoz, Justo 6 Stolpe, Mathias 5 Berthold, Timo 5 Emde, Simon 5 Gendreau, Michel 5 Iori, Manuel 5 Lombardi, Michele 5 Mitchell, John E. 5 Naderi, Bahman 5 Régin, Jean-Charles 5 Smith, J. Cole 5 Sörensen, Kenneth 5 Žilinskas, Antanas 4 Benini, Luca 4 Conforti, Michele 4 Côté, Jean-François 4 Franco, John V. 4 Gleixner, Ambros M. 4 Hadjiconstantinou, Eleni 4 Kis, Tamás 4 Li, Yantong 4 Lodi, Andrea 4 Makino, Kazuhisa 4 Noronha, Thiago F. 4 Pang, Jong-Shi 4 Rönnberg, Elina 4 Ruggiero, Martino 4 Santos, Andréa Cynthia 4 Sassano, Antonio 4 Stuckey, Peter James 4 Wang, Jinchang 3 Achterberg, Tobias 3 Aleman, Dionne M. 3 Andersen, Kim Allan 3 Appa, Gautam M. 3 Baatar, Davaatseren 3 Baldacci, Roberto 3 Berman, Oded 3 Bodur, Merve 3 Boysen, Nils 3 Cambazard, Hadrien 3 Castro, Margarita Paz 3 Cheng, Tai-Chiu Edwin 3 Christofides, Nicos 3 Davarnia, Danial 3 Desaulniers, Guy 3 Dilkina, Bistra 3 Fontes, Dalila B. M. M. 3 Frangioni, Antonio 3 Gent, Ian Philip 3 Giunchiglia, Enrico 3 Hammer, Peter Ladislaw 3 Hansen, Pierre 3 Ibaraki, Toshihide 3 Jacobson, Sheldon H. 3 Jung, Victor 3 Karlsson, Emil 3 Kovács, András 3 Kress, Dominik 3 Li, Haitao 3 Ljubić, Ivana 3 Lozano, Leonardo 3 Mancini, Simona 3 Morrison, David R. 3 Pesch, Erwin 3 Pinson, Eric 3 Pretolani, Daniele 3 Rasmussen, Rasmus V. 3 Resende, Mauricio G. C. 3 Rodriguez-Chia, Antonio M. 3 Roshanaei, Vahid 3 Saïs, Lakhdar 3 Salvagnin, Domenico 3 Schaefer, Andrew J. 3 Schaus, Pierre 3 Sewell, Edward C. 3 Tamir, Arie 3 Toledo, Franklina Maria Bragion 3 Triantaphyllou, Evangelos 3 Urbach, David R. 3 Van Ackooij, Wim 3 Van Hentenryck, Pascal 3 van Maaren, Hans 3 Vušković, Kristina 3 Walsh, Toby 3 Warners, Joost P. ...and 1,042 more Authors all top 5 Cited in 95 Serials 92 European Journal of Operational Research 71 Computers & Operations Research 37 Annals of Operations Research 31 Discrete Applied Mathematics 31 INFORMS Journal on Computing 28 Constraints 20 Artificial Intelligence 18 Mathematical Programming. Series A. Series B 18 Annals of Mathematics and Artificial Intelligence 12 Journal of Global Optimization 12 Mathematical Programming Computation 11 Operations Research Letters 11 Journal of Scheduling 10 International Transactions in Operational Research 9 Computational Optimization and Applications 8 Optimization Letters 7 Journal of Automated Reasoning 6 Operations Research 5 Information Processing Letters 5 Optimization and Engineering 5 Discrete Optimization 4 Networks 4 Mathematical and Computer Modelling 4 Top 4 Journal of Heuristics 4 Optimization Methods & Software 3 Information Sciences 3 Naval Research Logistics 3 Optimization 3 JMMA. Journal of Mathematical Modelling and Algorithms 3 EURO Journal on Computational Optimization 3 SN Operations Research Forum 2 Discrete Mathematics 2 Journal of Optimization Theory and Applications 2 Mathematics of Operations Research 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Information and Computation 2 Formal Aspects of Computing 2 Mathematical Problems in Engineering 2 Journal of Combinatorial Optimization 2 OR Spectrum 2 Structural and Multidisciplinary Optimization 2 4OR 2 Networks and Spatial Economics 2 Journal of Satisfiability, Boolean Modeling and Computation 1 Computers & Mathematics with Applications 1 Journal of Computational Physics 1 Physica A 1 Psychometrika 1 ACM Transactions on Database Systems 1 Computing 1 Fuzzy Sets and Systems 1 Journal of Combinatorial Theory. Series B 1 Opsearch 1 International Journal of Production Research 1 Journal of Classification 1 Graphs and Combinatorics 1 Algorithmica 1 International Journal of Parallel Programming 1 International Journal of Approximate Reasoning 1 Asia-Pacific Journal of Operational Research 1 Journal of Economic Dynamics & Control 1 SIAM Journal on Discrete Mathematics 1 Neural Networks 1 Random Structures & Algorithms 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Applied Mathematical Modelling 1 Linear Algebra and its Applications 1 Proceedings of the National Academy of Sciences of the United States of America 1 SIAM Review 1 RAIRO. Informatique Théorique et Applications 1 SIAM Journal on Optimization 1 The Australasian Journal of Combinatorics 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Computational Economics 1 European Journal of Control 1 Mathematical Methods of Operations Research 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 RAIRO. Theoretical Informatics and Applications 1 RAIRO. Operations Research 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics 1 ACM Journal of Experimental Algorithmics 1 Computational Management Science 1 International Journal of Computational Intelligence and Applications 1 Journal of Industrial and Management Optimization 1 Engineering Optimization 1 Pesquisa Operacional 1 Discrete Mathematics, Algorithms and Applications 1 Algorithms 1 Advances in Operations Research 1 Flexible Services and Manufacturing Journal 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 AIMS Mathematics all top 5 Cited in 22 Fields 501 Operations research, mathematical programming (90-XX) 178 Computer science (68-XX) 33 Combinatorics (05-XX) 30 Mathematical logic and foundations (03-XX) 18 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Numerical analysis (65-XX) 8 Statistics (62-XX) 7 Mechanics of deformable solids (74-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Biology and other natural sciences (92-XX) 4 Systems theory; control (93-XX) 3 Convex and discrete geometry (52-XX) 3 Probability theory and stochastic processes (60-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Information and communication theory, circuits (94-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year