Coban, Elvin; Hooker, John N. Single-facility scheduling over long time horizons by logic-based Benders decomposition. (English) Zbl 1285.68154 Lodi, Andrea (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 7th international conference, CPAIOR 2010, Bologna, Italy, June 14–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13519-4/pbk). Lecture Notes in Computer Science 6140, 87-91 (2010). MSC: 68T20 90B35 90C11 PDFBibTeX XMLCite \textit{E. Coban} and \textit{J. N. Hooker}, Lect. Notes Comput. Sci. 6140, 87--91 (2010; Zbl 1285.68154) Full Text: DOI Link
Hooker, J. N. Duality in optimization and constraint satisfaction. (English) Zbl 1177.68188 Beck, J. Christopher (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Third international conference, CPAIOR 2006, Cork, Ireland, May 31 – June 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34306-7/pbk). Lecture Notes in Computer Science 3990, 3-15 (2006). MSC: 68T20 90C05 90C27 PDFBibTeX XMLCite \textit{J. N. Hooker}, Lect. Notes Comput. Sci. 3990, 3--15 (2006; Zbl 1177.68188) Full Text: DOI
Hooker, J. N. An integrated method for planning and scheduling to minimize tardiness. (English) Zbl 1103.68811 Constraints 11, No. 2-3, 139-157 (2006). MSC: 68T20 90B35 PDFBibTeX XMLCite \textit{J. N. Hooker}, Constraints 11, No. 2--3, 139--157 (2006; Zbl 1103.68811) Full Text: DOI Link
Hooker, J. N. A search-infer-and-relax framework for integrating solution methods. (English) Zbl 1133.68430 Barták, Roman (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems.; Second international conference, CPAIOR 2005, Prague, Czech Republic, May 31 – June 1, 2005. Refereed proceedings. Berlin: Springer (ISBN 978-3-540-26152-0/pbk). Lecture Notes in Computer Science 3524, 243-257 (2005). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{J. N. Hooker}, Lect. Notes Comput. Sci. 3524, 243--257 (2005; Zbl 1133.68430) Full Text: DOI Link
Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H. SIMPL: A system for integrating optimization techniques. (English) Zbl 1094.68636 Régin, Jean-Charles (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. First international conference, CPAIOR 2004, Nice, France, April 20–22, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21836-X/pbk). Lecture Notes in Computer Science 3011, 21-36 (2004). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{I. Aron} et al., Lect. Notes Comput. Sci. 3011, 21--36 (2004; Zbl 1094.68636) Full Text: DOI
Hooker, J. N. Constraint satisfaction methods for generating valid cuts. (English) Zbl 0891.68105 Woodruff, David L. (ed.), Advances in computational and stochastic optimization, logic programming, and heuristic search. Interfaces in computer science and operations research. 6th conference of the Computer Science Technical Section of INFORMS, January 7–9, 1998, Carmel, CA, USA. Boston: Kluwer Academic Publishers. Oper. Res./Comput. Sci. Interfaces Ser. 9, 1-30 (1998). MSC: 68T20 PDFBibTeX XMLCite \textit{J. N. Hooker}, in: Advances in computational and stochastic optimization, logic programming, and heuristic search. Interfaces in computer science and operations research. 6th conference of the Computer Science Technical Section of INFORMS, January 7--9, 1998, Carmel, CA, USA. Boston: Kluwer Academic Publishers. 1--30 (1998; Zbl 0891.68105)
Hooker, J. N. Testing heuristics: We have it all wrong. (English) Zbl 0853.68155 J. Heuristics 1, No. 1, 33-42 (1995). MSC: 68T20 PDFBibTeX XMLCite \textit{J. N. Hooker}, J. Heuristics 1, No. 1, 33--42 (1995; Zbl 0853.68155) Full Text: DOI
Hooker, J. N.; Vinay, V. Branching rules for satisfiability (extended abstract). (English) Zbl 1044.68766 Thiagarajan, P. S. (ed.), Foundations of software technology and theoretical computer science. 14th conference, Madras, India, December 15-17, 1994. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-58715-2 /SC). Lect. Notes Comput. Sci. 880, 426-437 (1994). MSC: 68T20 PDFBibTeX XMLCite \textit{J. N. Hooker} and \textit{V. Vinay}, Lect. Notes Comput. Sci. 880, 426--437 (1994; Zbl 1044.68766)