Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John N. Hooker
@article{DBLP:journals/anor/ChenH23,
author = {Violet Xinying Chen and
John N. Hooker},
title = {A guide to formulating fairness in an optimization model},
journal = {Ann. Oper. Res.},
volume = {326},
number = {1},
pages = {581--619},
year = {2023},
url = {https://doi.org/10.1007/s10479-023-05264-y},
doi = {10.1007/S10479-023-05264-Y},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/ChenH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/DavarniaRH23,
author = {Danial Davarnia and
Atefeh Rajabalizadeh and
John N. Hooker},
title = {Achieving consistency with cutting planes},
journal = {Math. Program.},
volume = {198},
number = {1},
pages = {507--537},
year = {2023},
url = {https://doi.org/10.1007/s10107-022-01778-8},
doi = {10.1007/S10107-022-01778-8},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mp/DavarniaRH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/ChenH22,
author = {Violet Xinying Chen and
John N. Hooker},
title = {Combining leximax fairness and efficiency in a mathematical programming
model},
journal = {Eur. J. Oper. Res.},
volume = {299},
number = {1},
pages = {235--248},
year = {2022},
url = {https://doi.org/10.1016/j.ejor.2021.08.036},
doi = {10.1016/J.EJOR.2021.08.036},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/ChenH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/ElciH22,
author = {{\"{O}}zg{\"{u}}n El{\c{c}}i and
John N. Hooker},
title = {Stochastic Planning and Scheduling with Logic-Based Benders Decomposition},
journal = {{INFORMS} J. Comput.},
volume = {34},
number = {5},
pages = {2428--2442},
year = {2022},
url = {https://doi.org/10.1287/ijoc.2022.1184},
doi = {10.1287/IJOC.2022.1184},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/ElciH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Hooker22,
author = {John N. Hooker},
editor = {Pierre Schaus},
title = {Stochastic Decision Diagrams},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 19th International Conference, {CPAIOR} 2022,
Los Angeles, CA, USA, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13292},
pages = {138--154},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08011-1\_11},
doi = {10.1007/978-3-031-08011-1\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Hooker22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Hooker22,
author = {John N. Hooker},
title = {Stochastic Binary Decision Diagrams},
booktitle = {Proceedings of the International Symposium on Artificial Intelligence
and Mathematics 2022 {(ISAIM} 2022), Fort Lauderdale, Florida, USA,
January 3-5, 2022},
year = {2022},
url = {https://isaim2022.cs.ou.edu/papers/ISAIM2022\_Boolean\_Hooker.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:41 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Hooker22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KimHD21,
author = {Tae Wan Kim and
John N. Hooker and
Thomas Donaldson},
title = {Taking Principles Seriously: {A} Hybrid Approach to Value Alignment
in Artificial Intelligence},
journal = {J. Artif. Intell. Res.},
volume = {70},
pages = {871--890},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12481},
doi = {10.1613/JAIR.1.12481},
timestamp = {Sun, 07 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KimHD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-00311,
author = {Violet Xinying Chen and
John N. Hooker},
title = {Fairness through Optimization},
journal = {CoRR},
volume = {abs/2102.00311},
year = {2021},
url = {https://arxiv.org/abs/2102.00311},
eprinttype = {arXiv},
eprint = {2102.00311},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-00311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05434,
author = {Tae Wan Kim and
Tong Lu and
Kyusong Lee and
Zhaoqi Cheng and
Yanhan Tang and
John N. Hooker},
title = {When is it permissible for artificial intelligence to lie? {A} trust-based
approach},
journal = {CoRR},
volume = {abs/2103.05434},
year = {2021},
url = {https://arxiv.org/abs/2103.05434},
eprinttype = {arXiv},
eprint = {2103.05434},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BenadeH20,
author = {Gerdus Benad{\`{e}} and
John N. Hooker},
title = {Optimization Bounds from the Branching Dual},
journal = {{INFORMS} J. Comput.},
volume = {32},
number = {1},
pages = {3--15},
year = {2020},
url = {https://doi.org/10.1287/ijoc.2018.0884},
doi = {10.1287/IJOC.2018.0884},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/informs/BenadeH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/SerraH20,
author = {Thiago Serra and
John N. Hooker},
title = {Compact representation of near-optimal integer programming solutions},
journal = {Math. Program.},
volume = {182},
number = {1},
pages = {199--232},
year = {2020},
url = {https://doi.org/10.1007/s10107-019-01390-3},
doi = {10.1007/S10107-019-01390-3},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/SerraH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aies/ChenH20,
author = {Violet (Xinying) Chen and
John N. Hooker},
editor = {Annette N. Markham and
Julia Powles and
Toby Walsh and
Anne L. Washington},
title = {A Just Approach Balancing Rawlsian Leximax Fairness and Utilitarianism},
booktitle = {{AIES} '20: {AAAI/ACM} Conference on AI, Ethics, and Society, New
York, NY, USA, February 7-8, 2020},
pages = {221--227},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375627.3375844},
doi = {10.1145/3375627.3375844},
timestamp = {Thu, 14 Oct 2021 10:27:33 +0200},
biburl = {https://dblp.org/rec/conf/aies/ChenH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05963,
author = {Violet (Xinying) Chen and
John N. Hooker},
title = {Balancing Fairness and Efficiency in an Optimization Model},
journal = {CoRR},
volume = {abs/2006.05963},
year = {2020},
url = {https://arxiv.org/abs/2006.05963},
eprinttype = {arXiv},
eprint = {2006.05963},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-11705,
author = {Tae Wan Kim and
John N. Hooker and
Thomas Donaldson},
title = {Taking Principles Seriously: {A} Hybrid Approach to Value Alignment},
journal = {CoRR},
volume = {abs/2012.11705},
year = {2020},
url = {https://arxiv.org/abs/2012.11705},
eprinttype = {arXiv},
eprint = {2012.11705},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-11705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/HookerK19,
author = {John N. Hooker and
Tae Wan Kim},
title = {Truly Autonomous Machines Are Ethical},
journal = {{AI} Mag.},
volume = {40},
number = {4},
pages = {66--73},
year = {2019},
url = {https://doi.org/10.1609/aimag.v40i4.2863},
doi = {10.1609/AIMAG.V40I4.2863},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/HookerK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/HechingHK19,
author = {Aliza Heching and
John N. Hooker and
Ryo Kimura},
title = {A Logic-Based Benders Approach to Home Healthcare Delivery},
journal = {Transp. Sci.},
volume = {53},
number = {2},
pages = {510--522},
year = {2019},
url = {https://doi.org/10.1287/trsc.2018.0830},
doi = {10.1287/TRSC.2018.0830},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/transci/HechingHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GrenouilleauHH19,
author = {Florian Grenouilleau and
Willem{-}Jan van Hoeve and
John N. Hooker},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {A Multi-Label A* Algorithm for Multi-Agent Pathfinding},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {181--185},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3474},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/GrenouilleauHH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker19,
author = {John N. Hooker},
editor = {Thomas Schiex and
Simon de Givry},
title = {Improved Job Sequencing Bounds from Decision Diagrams},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {268--283},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_16},
doi = {10.1007/978-3-030-30048-7\_16},
timestamp = {Mon, 23 Sep 2019 13:55:24 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hooker19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DavarniaH19,
author = {Danial Davarnia and
John N. Hooker},
editor = {Louis{-}Martin Rousseau and
Kostas Stergiou},
title = {Consistency for 0-1 Programming},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 16th International Conference, {CPAIOR} 2019,
Thessaloniki, Greece, June 4-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11494},
pages = {225--240},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19212-9\_15},
doi = {10.1007/978-3-030-19212-9\_15},
timestamp = {Tue, 28 May 2019 13:07:45 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/DavarniaH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SerraRBHK19,
author = {Thiago Serra and
Arvind U. Raghunathan and
David Bergman and
John N. Hooker and
Shingo Kobori},
editor = {Louis{-}Martin Rousseau and
Kostas Stergiou},
title = {Last-Mile Scheduling Under Uncertainty},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 16th International Conference, {CPAIOR} 2019,
Thessaloniki, Greece, June 4-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11494},
pages = {519--528},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19212-9\_34},
doi = {10.1007/978-3-030-19212-9\_34},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/SerraRBHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05447,
author = {Tae Wan Kim and
Thomas Donaldson and
John N. Hooker},
title = {Grounding Value Alignment with Ethical Principles},
journal = {CoRR},
volume = {abs/1907.05447},
year = {2019},
url = {http://arxiv.org/abs/1907.05447},
eprinttype = {arXiv},
eprint = {1907.05447},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07076,
author = {John N. Hooker},
title = {Improved Job sequencing Bounds from Decision Diagrams},
journal = {CoRR},
volume = {abs/1908.07076},
year = {2019},
url = {http://arxiv.org/abs/1908.07076},
eprinttype = {arXiv},
eprint = {1908.07076},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07584,
author = {J. G. Benade and
John N. Hooker},
title = {Optimization Bounds from the Branching Dual},
journal = {CoRR},
volume = {abs/1908.07584},
year = {2019},
url = {http://arxiv.org/abs/1908.07584},
eprinttype = {arXiv},
eprint = {1908.07584},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HookerH18,
author = {John N. Hooker and
Willem Jan van Hoeve},
title = {Constraint programming and operations research},
journal = {Constraints An Int. J.},
volume = {23},
number = {2},
pages = {172--195},
year = {2018},
url = {https://doi.org/10.1007/s10601-017-9280-3},
doi = {10.1007/S10601-017-9280-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/HookerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aies/HookerK18,
author = {John N. Hooker and
Tae Wan Kim},
editor = {Jason Furman and
Gary E. Marchant and
Huw Price and
Francesca Rossi},
title = {Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics:
{A} Deontological Approach Based on Modal Logic},
booktitle = {Proceedings of the 2018 {AAAI/ACM} Conference on AI, Ethics, and Society,
{AIES} 2018, New Orleans, LA, USA, February 02-03, 2018},
pages = {130--136},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278721.3278753},
doi = {10.1145/3278721.3278753},
timestamp = {Tue, 23 Jan 2024 13:25:45 +0100},
biburl = {https://dblp.org/rec/conf/aies/HookerK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RaghunathanBHSK18,
author = {Arvind U. Raghunathan and
David Bergman and
John N. Hooker and
Thiago Serra and
Shingo Kobori},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {The Integrated Last-Mile Transportation Problem {(ILMTP)}},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {388--398},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17720},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/RaghunathanBHSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Hooker18,
author = {John N. Hooker},
title = {Dynamic Programming Bounds from Decision Diagrams},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Boolean\_Hooker.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Hooker18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2018,
editor = {John N. Hooker},
title = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9},
doi = {10.1007/978-3-319-98334-9},
isbn = {978-3-319-98333-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11116,
author = {Tae Wan Kim and
Thomas Donaldson and
John N. Hooker},
title = {Mimetic vs Anchored Value Alignment in Artificial Intelligence},
journal = {CoRR},
volume = {abs/1810.11116},
year = {2018},
url = {http://arxiv.org/abs/1810.11116},
eprinttype = {arXiv},
eprint = {1810.11116},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-02215,
author = {Danial Davarnia and
John N. Hooker},
title = {Consistency for 0-1 Programming},
journal = {CoRR},
volume = {abs/1812.02215},
year = {2018},
url = {http://arxiv.org/abs/1812.02215},
eprinttype = {arXiv},
eprint = {1812.02215},
timestamp = {Fri, 17 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-02215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-02217,
author = {John N. Hooker},
title = {Truly Autonomous Machines Are Ethical},
journal = {CoRR},
volume = {abs/1812.02217},
year = {2018},
url = {http://arxiv.org/abs/1812.02217},
eprinttype = {arXiv},
eprint = {1812.02217},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-02217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker17,
author = {John N. Hooker},
editor = {J. Christopher Beck},
title = {Job Sequencing Bounds from Decision Diagrams},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {565--578},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_36},
doi = {10.1007/978-3-319-66158-2\_36},
timestamp = {Fri, 17 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hooker17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/aifta/BergmanCHH16,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem{-}Jan van Hoeve and
John N. Hooker},
title = {Decision Diagrams for Optimization},
series = {Artificial Intelligence: Foundations, Theory, and Algorithms},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42849-9},
doi = {10.1007/978-3-319-42849-9},
isbn = {978-3-319-42847-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/aifta/BergmanCHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Hooker16,
author = {John N. Hooker},
title = {Projection, consistency, and George Boole},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {59--76},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9201-2},
doi = {10.1007/S10601-015-9201-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hooker16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/disopt/WilliamsH16,
author = {H. Paul Williams and
John N. Hooker},
title = {Integer programming as projection},
journal = {Discret. Optim.},
volume = {22},
pages = {291--311},
year = {2016},
url = {https://doi.org/10.1016/j.disopt.2016.08.004},
doi = {10.1016/J.DISOPT.2016.08.004},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/disopt/WilliamsH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/CireHY16,
author = {Andr{\'{e}} Augusto Cir{\'{e}} and
John N. Hooker and
Tallys H. Yunes},
title = {Modeling with Metaconstraints and Semantic Typing of Variables},
journal = {{INFORMS} J. Comput.},
volume = {28},
number = {1},
pages = {1--13},
year = {2016},
url = {https://doi.org/10.1287/ijoc.2015.0664},
doi = {10.1287/IJOC.2015.0664},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/CireHY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BergmanCHH16,
author = {David Bergman and
Andr{\'{e}} Augusto Cir{\'{e}} and
Willem{-}Jan van Hoeve and
John N. Hooker},
title = {Discrete Optimization with Decision Diagrams},
journal = {{INFORMS} J. Comput.},
volume = {28},
number = {1},
pages = {47--66},
year = {2016},
url = {https://doi.org/10.1287/ijoc.2015.0648},
doi = {10.1287/IJOC.2015.0648},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BergmanCHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/CireCH16,
author = {Andr{\'{e}} Augusto Cir{\'{e}} and
Elvin Coban and
John N. Hooker},
title = {Logic-based Benders decomposition for planning and scheduling: a computational
analysis},
journal = {Knowl. Eng. Rev.},
volume = {31},
number = {5},
pages = {440--451},
year = {2016},
url = {https://doi.org/10.1017/S0269888916000254},
doi = {10.1017/S0269888916000254},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/CireCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker16,
author = {John N. Hooker},
editor = {Michel Rueher},
title = {Finding Alternative Musical Scales},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {753--768},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_47},
doi = {10.1007/978-3-319-44953-1\_47},
timestamp = {Fri, 17 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hooker16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HechingH16,
author = {Aliza R. Heching and
John N. Hooker},
editor = {Claude{-}Guy Quimper},
title = {Scheduling Home Hospice Care with Logic-Based Benders Decomposition},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
May 29 - June 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9676},
pages = {187--197},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33954-2\_14},
doi = {10.1007/978-3-319-33954-2\_14},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HechingH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hooker16,
author = {John N. Hooker},
editor = {Subbarao Kambhampati},
title = {Projection, Inference, and Consistency},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4175--4179},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/625},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hooker16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/HechingH16,
author = {Aliza Heching and
John N. Hooker},
title = {Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent
Costs},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016},
year = {2016},
url = {https://isaim2016.cs.ou.edu/papers/ISAIM2016\_CPOR\_Heching\_Hooker.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/HechingH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itor/Hooker15,
author = {John N. Hooker},
title = {Toward unification of exact and heuristic optimization methods},
journal = {Int. Trans. Oper. Res.},
volume = {22},
number = {1},
pages = {19--48},
year = {2015},
url = {https://doi.org/10.1111/itor.12020},
doi = {10.1111/ITOR.12020},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itor/Hooker15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/HarjunkoskiMBCEGHMSW14,
author = {Iiro Harjunkoski and
Christos T. Maravelias and
Peter Bongers and
Pedro M. Castro and
Sebastian Engell and
Ignacio E. Grossmann and
John N. Hooker and
Carlos A. M{\'{e}}ndez and
Guido Sand and
John M. Wassick},
title = {Scope for industrial applications of production scheduling models
and solution methods},
journal = {Comput. Chem. Eng.},
volume = {62},
pages = {161--193},
year = {2014},
url = {https://doi.org/10.1016/j.compchemeng.2013.12.001},
doi = {10.1016/J.COMPCHEMENG.2013.12.001},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/HarjunkoskiMBCEGHMSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BergmanH14,
author = {David Bergman and
John N. Hooker},
title = {Graph coloring inequalities from all-different systems},
journal = {Constraints An Int. J.},
volume = {19},
number = {4},
pages = {404--433},
year = {2014},
url = {https://doi.org/10.1007/s10601-014-9164-8},
doi = {10.1007/S10601-014-9164-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BergmanH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/PetersonHHH14,
author = {Ben Peterson and
Iiro Harjunkoski and
Samid Hoda and
John N. Hooker},
title = {Scheduling multiple factory cranes on a common track},
journal = {Comput. Oper. Res.},
volume = {48},
pages = {102--112},
year = {2014},
url = {https://doi.org/10.1016/j.cor.2014.03.005},
doi = {10.1016/J.COR.2014.03.005},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/PetersonHHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BergmanCHH14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
John N. Hooker},
title = {Optimization Bounds from Binary Decision Diagrams},
journal = {{INFORMS} J. Comput.},
volume = {26},
number = {2},
pages = {253--268},
year = {2014},
url = {https://doi.org/10.1287/ijoc.2013.0561},
doi = {10.1287/IJOC.2013.0561},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BergmanCHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergmanCHH14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
John N. Hooker},
editor = {Barry O'Sullivan},
title = {Optimization Bounds from Binary Decision Diagrams - (Extended Abstract)},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {903--907},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_64},
doi = {10.1007/978-3-319-10428-7\_64},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BergmanCHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/CireH14,
author = {Andr{\'{e}} A. Cir{\'{e}} and
John N. Hooker},
title = {The Separation Problem for Binary Decision Diagrams},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2014, Fort Lauderdale, FL, USA, January 6-8, 2014},
year = {2014},
url = {http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\_Boolean\_Cire\_Hooker.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:47 +0100},
biburl = {https://dblp.org/rec/conf/isaim/CireH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/CobanHHS14,
author = {Elvin Coban and
Aliza Heching and
John N. Hooker and
Alan Scheller{-}Wolf},
editor = {Marco E. L{\"{u}}bbecke and
Arie Koster and
Peter Letmathe and
Reinhard Madlener and
Britta Peis and
Grit Walther},
title = {Robust Scheduling with Logic-Based Benders Decomposition},
booktitle = {Operations Research Proceedings 2014, Selected Papers of the Annual
International Conference of the German Operations Research Society
(GOR), {RWTH} Aachen University, Germany, September 2-5, 2014},
pages = {99--105},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28697-6\_15},
doi = {10.1007/978-3-319-28697-6\_15},
timestamp = {Fri, 19 May 2017 01:25:21 +0200},
biburl = {https://dblp.org/rec/conf/or/CobanHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/CobanH13,
author = {Elvin Coban and
John N. Hooker},
title = {Single-facility scheduling by logic-based Benders decomposition},
journal = {Ann. Oper. Res.},
volume = {210},
number = {1},
pages = {245--272},
year = {2013},
url = {https://doi.org/10.1007/s10479-011-1031-z},
doi = {10.1007/S10479-011-1031-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/anor/CobanH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Hooker13,
author = {John N. Hooker},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {Decision Diagrams and Dynamic Programming},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {94--110},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_7},
doi = {10.1007/978-3-642-38171-3\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Hooker13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CireCH13,
author = {Andr{\'{e}} A. Cir{\'{e}} and
Elvin Coban and
John N. Hooker},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {Mixed Integer Programming vs. Logic-Based Benders Decomposition for
Planning and Scheduling},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {325--331},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_22},
doi = {10.1007/978-3-642-38171-3\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/CireCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mansci/HookerW12,
author = {John N. Hooker and
H. Paul Williams},
title = {Combining Equity and Utilitarianism in a Mathematical Programming
Model},
journal = {Manag. Sci.},
volume = {58},
number = {9},
pages = {1682--1693},
year = {2012},
url = {https://doi.org/10.1287/mnsc.1120.1515},
doi = {10.1287/MNSC.1120.1515},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mansci/HookerW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanCHH12,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
John N. Hooker},
editor = {Nicolas Beldiceanu and
Narendra Jussien and
Eric Pinson},
title = {Variable Ordering for the Application of BDDs to the Maximum Independent
Set Problem},
booktitle = {Integration of {AI} and {OR} Techniques in Contraint Programming for
Combinatorial Optimzation Problems - 9th International Conference,
{CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7298},
pages = {34--49},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29828-8\_3},
doi = {10.1007/978-3-642-29828-8\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BergmanCHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanH12,
author = {David Bergman and
John N. Hooker},
editor = {Nicolas Beldiceanu and
Narendra Jussien and
Eric Pinson},
title = {Graph Coloring Facets from All-Different Systems},
booktitle = {Integration of {AI} and {OR} Techniques in Contraint Programming for
Combinatorial Optimzation Problems - 9th International Conference,
{CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7298},
pages = {50--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29828-8\_4},
doi = {10.1007/978-3-642-29828-8\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BergmanH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanHH11,
author = {David Bergman and
Willem Jan van Hoeve and
John N. Hooker},
editor = {Tobias Achterberg and
J. Christopher Beck},
title = {Manipulating {MDD} Relaxations for Combinatorial Optimization},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems - 8th International Conference,
{CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6697},
pages = {20--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21311-3\_5},
doi = {10.1007/978-3-642-21311-3\_5},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BergmanHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/YunesAH10,
author = {Tallys H. Yunes and
Ionut D. Aron and
John N. Hooker},
title = {An Integrated Solver for Optimization Problems},
journal = {Oper. Res.},
volume = {58},
number = {2},
pages = {342--356},
year = {2010},
url = {https://doi.org/10.1287/opre.1090.0733},
doi = {10.1287/OPRE.1090.0733},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/YunesAH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itor/Hooker10,
author = {John N. Hooker},
title = {Optimality conditions for distributive justice},
journal = {Int. Trans. Oper. Res.},
volume = {17},
number = {4},
pages = {485--505},
year = {2010},
url = {https://doi.org/10.1111/j.1475-3995.2009.00742.x},
doi = {10.1111/J.1475-3995.2009.00742.X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itor/Hooker10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HodaHH10,
author = {Samid Hoda and
Willem Jan van Hoeve and
John N. Hooker},
editor = {David Cohen},
title = {A Systematic Approach to MDD-Based Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {266--280},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_23},
doi = {10.1007/978-3-642-15396-9\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HodaHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CobanH10,
author = {Elvin Coban and
John N. Hooker},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {Single-Facility Scheduling over Long Time Horizons by Logic-Based
Benders Decomposition},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {87--91},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_11},
doi = {10.1007/978-3-642-13520-0\_11},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/CobanH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/10/HookerCH10,
author = {John N. Hooker and
Yves Crama and
Peter L. Hammer},
editor = {Yves Crama and
Peter L. Hammer},
title = {Optimization Methods in Logic},
booktitle = {Boolean Models and Methods in Mathematics, Computer Science, and Engineering},
pages = {160--194},
publisher = {Cambridge University Press},
year = {2010},
url = {https://doi.org/10.1017/cbo9780511780448.008},
doi = {10.1017/CBO9780511780448.008},
timestamp = {Mon, 16 Sep 2019 14:43:07 +0200},
biburl = {https://dblp.org/rec/books/cu/10/HookerCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2009,
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {5547},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6},
doi = {10.1007/978-3-642-01929-6},
isbn = {978-3-642-01928-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/opt/Hooker09a,
author = {John N. Hooker},
editor = {Christodoulos A. Floudas and
Panos M. Pardalos},
title = {Integer Programming Duality},
booktitle = {Encyclopedia of Optimization, Second Edition},
pages = {1657--1667},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-74759-0\_289},
doi = {10.1007/978-0-387-74759-0\_289},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/opt/Hooker09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/opt/Hooker09,
author = {John N. Hooker},
editor = {Christodoulos A. Floudas and
Panos M. Pardalos},
title = {Integer Programming: Lagrangian Relaxation},
booktitle = {Encyclopedia of Optimization, Second Edition},
pages = {1667--1673},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-74759-0\_290},
doi = {10.1007/978-0-387-74759-0\_290},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/opt/Hooker09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/SalmanRH08,
author = {F. Sibel Salman and
R. Ravi and
John N. Hooker},
title = {Solving the Capacitated Local Access Network Design Problem},
journal = {{INFORMS} J. Comput.},
volume = {20},
number = {2},
pages = {243--254},
year = {2008},
url = {https://doi.org/10.1287/ijoc.1070.0237},
doi = {10.1287/IJOC.1070.0237},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/SalmanRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HadzicHOT08,
author = {Tarik Hadzic and
John N. Hooker and
Barry O'Sullivan and
Peter Tiedemann},
editor = {Peter J. Stuckey},
title = {Approximate Compilation of Constraints into Multivalued Decision Diagrams},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {448--462},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_30},
doi = {10.1007/978-3-540-85958-1\_30},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HadzicHOT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HadzicHT08,
author = {Tarik Hadzic and
John N. Hooker and
Peter Tiedemann},
editor = {Laurent Perron and
Michael A. Trick},
title = {Propagating Separable Equalities in an {MDD} Store},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {318--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_30},
doi = {10.1007/978-3-540-68155-7\_30},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HadzicHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Hooker08,
author = {John N. Hooker},
title = {Optimality Conditions for Distributive Justice},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/SS2-SocialChoice/JHooker-ss2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Hooker08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017646,
author = {John N. Hooker},
title = {Integrated methods for optimization},
series = {International series in operations research and management science},
volume = {100},
publisher = {Springer},
year = {2007},
isbn = {978-0-387-38272-2},
timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/Hooker07,
author = {John N. Hooker},
title = {Planning and Scheduling by Logic-Based Benders Decomposition},
journal = {Oper. Res.},
volume = {55},
number = {3},
pages = {588--602},
year = {2007},
url = {https://doi.org/10.1287/opre.1060.0371},
doi = {10.1287/OPRE.1060.0371},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/Hooker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AndersenHHT07,
author = {Henrik Reif Andersen and
Tarik Hadzic and
John N. Hooker and
Peter Tiedemann},
editor = {Christian Bessiere},
title = {A Constraint Store Based on Multivalued Decision Diagrams},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {118--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_11},
doi = {10.1007/978-3-540-74970-7\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AndersenHHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HadzicH07,
author = {Tarik Hadzic and
John N. Hooker},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {Cost-Bounded Binary Decision Diagrams for 0-1 Programming},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 4th International Conference,
{CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {84--98},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_7},
doi = {10.1007/978-3-540-72397-4\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HadzicH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Hooker07,
author = {John N. Hooker},
editor = {Ian Miguel and
Wheeler Ruml},
title = {A Framework for Integrating Optimization and Constraint Programming},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {4},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_3},
doi = {10.1007/978-3-540-73580-9\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/Hooker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Hooker06,
author = {John N. Hooker},
title = {An Integrated Method for Planning and Scheduling to Minimize Tardiness},
journal = {Constraints An Int. J.},
volume = {11},
number = {2-3},
pages = {139--157},
year = {2006},
url = {https://doi.org/10.1007/s10601-006-8060-2},
doi = {10.1007/S10601-006-8060-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hooker06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KayaH06,
author = {Latife Gen{\c{c}} Kaya and
John N. Hooker},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {A Filter for the Circuit Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {706--710},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_55},
doi = {10.1007/11889205\_55},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/KayaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Hooker06,
author = {John N. Hooker},
editor = {J. Christopher Beck and
Barbara M. Smith},
title = {Duality in Optimization and Constraint Satisfaction},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {3990},
pages = {3--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757375\_3},
doi = {10.1007/11757375\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Hooker06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Hooker06,
author = {John N. Hooker},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Operations Research Methods in Constraint Programming},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {527--570},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80019-2},
doi = {10.1016/S1574-6526(06)80019-2},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/Hooker06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Hooker05,
author = {John N. Hooker},
title = {A Hybrid Method for the Planning and Scheduling},
journal = {Constraints An Int. J.},
volume = {10},
number = {4},
pages = {385--401},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2812-2},
doi = {10.1007/S10601-005-2812-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hooker05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker05,
author = {John N. Hooker},
editor = {Peter van Beek},
title = {Planning and Scheduling to Minimize Tardiness},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {314--327},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_25},
doi = {10.1007/11564751\_25},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hooker05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KayaH05,
author = {Latife Gen{\c{c}} Kaya and
John N. Hooker},
editor = {Peter van Beek},
title = {Domain Reduction for the Circuit Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {846},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_84},
doi = {10.1007/11564751\_84},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KayaH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Hooker05,
author = {John N. Hooker},
editor = {Roman Bart{\'{a}}k and
Michela Milano},
title = {A Search-Infer-and-Relax Framework for Integrating Solution Methods},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Second International Conference,
{CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3524},
pages = {243--257},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11493853\_19},
doi = {10.1007/11493853\_19},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Hooker05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker04,
author = {John N. Hooker},
editor = {Mark Wallace},
title = {A Hybrid Method for Planning and Scheduling},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {305--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_24},
doi = {10.1007/978-3-540-30201-8\_24},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/Hooker04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AronHY04,
author = {Ionut D. Aron and
John N. Hooker and
Tallys H. Yunes},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {{SIMPL:} {A} System for Integrating Optimization Techniques},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {21--36},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_2},
doi = {10.1007/978-3-540-24664-0\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/AronHY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocos/Hooker03,
author = {John N. Hooker},
editor = {Christophe Jermann and
Arnold Neumaier and
Djamila Sam{-}Haroud},
title = {Convex Programming Methods for Global Optimization},
booktitle = {Global Optimization and Constraint Satisfaction, Second International
Workshop, {COCOS} 2003, Lausanne, Switzerland, November 18-21, 2003,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3478},
pages = {46--60},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11425076\_4},
doi = {10.1007/11425076\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cocos/Hooker03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/OttossonTH02,
author = {Greger Ottosson and
Erlendur S. Thorsteinsson and
John N. Hooker},
title = {Mixed Global Constraints and Inference in Hybrid {CLP-IP} Solvers},
journal = {Ann. Math. Artif. Intell.},
volume = {34},
number = {4},
pages = {271--290},
year = {2002},
url = {https://doi.org/10.1023/A:1014440424150},
doi = {10.1023/A:1014440424150},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/OttossonTH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/KimH02,
author = {Hak{-}Jin Kim and
John N. Hooker},
title = {Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization
and Constraint Programming Approach},
journal = {Ann. Oper. Res.},
volume = {115},
number = {1-4},
pages = {95--124},
year = {2002},
url = {https://doi.org/10.1023/A:1021145103592},
doi = {10.1023/A:1021145103592},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/KimH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/Hooker02,
author = {John N. Hooker},
title = {Logic, Optimization, and Constraint Programming},
journal = {{INFORMS} J. Comput.},
volume = {14},
number = {4},
pages = {295--321},
year = {2002},
url = {https://doi.org/10.1287/ijoc.14.4.295.2828},
doi = {10.1287/IJOC.14.4.295.2828},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/Hooker02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HookerRCS02,
author = {John N. Hooker and
G. Rago and
V. Chandru and
A. Shrivastava},
title = {Partial Instantiation Methods for Inference in First-Order Logic},
journal = {J. Autom. Reason.},
volume = {28},
number = {5},
pages = {371--396},
year = {2002},
url = {https://doi.org/10.1023/A:1015854101244},
doi = {10.1023/A:1015854101244},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HookerRCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HookerY02,
author = {John N. Hooker and
Hong Yan},
editor = {Pascal Van Hentenryck},
title = {A Relaxation of the Cumulative Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {686--690},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_46},
doi = {10.1007/3-540-46135-3\_46},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HookerY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButtazzoEHPS02,
author = {Giorgio C. Buttazzo and
Avi Efrati and
John N. Hooker and
Claude Le Pape and
Joseph Sifakis},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Abstracts of Invited Talks},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {275--276},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80482-7},
doi = {10.1016/S1571-0661(05)80482-7},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ButtazzoEHPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/HookerKO01,
author = {John N. Hooker and
Hak{-}Jin Kim and
Greger Ottosson},
title = {A Declarative Modeling Framework that Integrates Solution Methods},
journal = {Ann. Oper. Res.},
volume = {104},
number = {1-4},
pages = {141--161},
year = {2001},
url = {https://doi.org/10.1023/A:1013195004424},
doi = {10.1023/A:1013195004424},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/HookerKO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/BollapragadaGH01,
author = {Srinivas Bollapragada and
Omar Ghattas and
John N. Hooker},
title = {Optimal Design of Truss Structures by Logic-Based Branch and Cut},
journal = {Oper. Res.},
volume = {49},
number = {1},
pages = {42--51},
year = {2001},
url = {https://doi.org/10.1287/opre.49.1.42.11196},
doi = {10.1287/OPRE.49.1.42.11196},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/BollapragadaGH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/OttossonTH00,
author = {Greger Ottosson and
Erlendur S. Thorsteinsson and
John N. Hooker},
title = {Mixed Global Constraints and Inference in Hybrid {CLP-IP} Solvers},
journal = {Electron. Notes Discret. Math.},
volume = {4},
pages = {32--53},
year = {2000},
url = {https://doi.org/10.1016/S1571-0653(05)80104-0},
doi = {10.1016/S1571-0653(05)80104-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/OttossonTH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/DawandeH00,
author = {Milind Dawande and
John N. Hooker},
title = {Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming},
journal = {Oper. Res.},
volume = {48},
number = {4},
pages = {623--634},
year = {2000},
url = {https://doi.org/10.1287/opre.48.4.623.12420},
doi = {10.1287/OPRE.48.4.623.12420},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/DawandeH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Hooker99,
author = {John N. Hooker},
title = {Inference Duality as a Basis for Sensitivity Analysis},
journal = {Constraints An Int. J.},
volume = {4},
number = {2},
pages = {101--112},
year = {1999},
url = {https://doi.org/10.1023/A:1009838725226},
doi = {10.1023/A:1009838725226},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hooker99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HookerO99,
author = {John N. Hooker and
Mar{\'{\i}}a Auxilio Osorio Lama},
title = {Mixed Logical-linear Programming},
journal = {Discret. Appl. Math.},
volume = {96-97},
pages = {395--442},
year = {1999},
url = {https://doi.org/10.1016/S0166-218X(99)00100-6},
doi = {10.1016/S0166-218X(99)00100-6},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HookerO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/YanH99,
author = {Hong Yan and
John N. Hooker},
title = {Tight representation of logical constraints as cardinality rules},
journal = {Math. Program.},
volume = {85},
number = {2},
pages = {363--377},
year = {1999},
url = {https://doi.org/10.1007/s101070050061},
doi = {10.1007/S101070050061},
timestamp = {Tue, 25 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/YanH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HookerOTK99,
author = {John N. Hooker and
Greger Ottosson and
Erlendur S. Thorsteinsson and
Hak{-}Jin Kim},
editor = {Jim Hendler and
Devika Subramanian},
title = {On Integrating Constraint Propagation and Linear Programming for Combinatorial
Optimization},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {136--141},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-020.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HookerOTK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/AndersenH96,
author = {Kim Allan Andersen and
John N. Hooker},
title = {Determining lower and upper bounds on probabilities of atomic propositions
in sets of logical formulas represented by digraphs},
journal = {Ann. Oper. Res.},
volume = {65},
number = {1},
pages = {1--20},
year = {1996},
url = {https://doi.org/10.1007/BF02187324},
doi = {10.1007/BF02187324},
timestamp = {Sat, 16 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/AndersenH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/AndersenH96,
author = {Kim Allan Andersen and
John N. Hooker},
title = {A linear programming framework for logics of uncertainty},
journal = {Decis. Support Syst.},
volume = {16},
number = {1},
pages = {39--53},
year = {1996},
url = {https://doi.org/10.1016/0167-9236(94)00055-7},
doi = {10.1016/0167-9236(94)00055-7},
timestamp = {Sat, 16 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dss/AndersenH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/Hooker96,
author = {John N. Hooker},
title = {Resolution and the integrality of satisfiability problems},
journal = {Math. Program.},
volume = {74},
pages = {1--10},
year = {1996},
url = {https://doi.org/10.1007/BF02592142},
doi = {10.1007/BF02592142},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/Hooker96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker96,
author = {John N. Hooker},
editor = {Eugene C. Freuder},
title = {Inference Duality as a Basis for Secitivity Analysis},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {224--236},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_77},
doi = {10.1007/3-540-61551-2\_77},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hooker96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BorosHH95,
author = {Endre Boros and
Peter L. Hammer and
John N. Hooker},
title = {Boolean regression},
journal = {Ann. Oper. Res.},
volume = {58},
number = {3},
pages = {201--226},
year = {1995},
url = {https://doi.org/10.1007/BF02032132},
doi = {10.1007/BF02032132},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BorosHH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/Hooker95,
author = {John N. Hooker},
title = {Testing heuristics: We have it all wrong},
journal = {J. Heuristics},
volume = {1},
number = {1},
pages = {33--42},
year = {1995},
url = {https://doi.org/10.1007/BF02430364},
doi = {10.1007/BF02430364},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/Hooker95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HookerV95,
author = {John N. Hooker and
V. Vinay},
title = {Branching Rules for Satisfiability},
journal = {J. Autom. Reason.},
volume = {15},
number = {3},
pages = {359--383},
year = {1995},
url = {https://doi.org/10.1007/BF00881805},
doi = {10.1007/BF00881805},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HookerV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/HookerN95,
author = {John N. Hooker and
N. R. Natraj},
title = {Solving a General Routing and Scheduling Problem by Chain Decomposition
and Tabu Search},
journal = {Transp. Sci.},
volume = {29},
number = {1},
pages = {30--44},
year = {1995},
url = {https://doi.org/10.1287/trsc.29.1.30},
doi = {10.1287/TRSC.29.1.30},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/transci/HookerN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/HookerYGR94,
author = {John N. Hooker and
Hong Yan and
Ignacio E. Grossmann and
Ramesh Raman},
title = {Logic cuts for processing networks with fixed charges},
journal = {Comput. Oper. Res.},
volume = {21},
number = {3},
pages = {265--279},
year = {1994},
url = {https://doi.org/10.1016/0305-0548(94)90089-2},
doi = {10.1016/0305-0548(94)90089-2},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/HookerYGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/AndersenH94,
author = {Kim Allan Andersen and
John N. Hooker},
title = {Bayesian logic},
journal = {Decis. Support Syst.},
volume = {11},
number = {2},
pages = {191--210},
year = {1994},
url = {https://doi.org/10.1016/0167-9236(94)90031-0},
doi = {10.1016/0167-9236(94)90031-0},
timestamp = {Sat, 16 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dss/AndersenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/HarcheHT94,
author = {Farid Harche and
John N. Hooker and
Gerald L. Thompson},
title = {A Computational Study of Satisfiability Algorithms for Propositional
Logic},
journal = {{INFORMS} J. Comput.},
volume = {6},
number = {4},
pages = {423--435},
year = {1994},
url = {https://doi.org/10.1287/ijoc.6.4.423},
doi = {10.1287/IJOC.6.4.423},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/HarcheHT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/Hooker94,
author = {John N. Hooker},
title = {Needed: An Empirical Science of Algorithms},
journal = {Oper. Res.},
volume = {42},
number = {2},
pages = {201--212},
year = {1994},
url = {https://doi.org/10.1287/opre.42.2.201},
doi = {10.1287/OPRE.42.2.201},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/Hooker94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/BorosHH94,
author = {Endre Boros and
Peter L. Hammer and
John N. Hooker},
title = {Predicting Cause-Effect Relationships from Incomplete Discrete Observations},
journal = {{SIAM} J. Discret. Math.},
volume = {7},
number = {4},
pages = {531--543},
year = {1994},
url = {https://doi.org/10.1137/S0895480191199385},
doi = {10.1137/S0895480191199385},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/BorosHH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HookerV94,
author = {John N. Hooker and
V. Vinay},
editor = {P. S. Thiagarajan},
title = {Branching Rules for Satisfiability (Extended Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {426--437},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_143},
doi = {10.1007/3-540-58715-2\_143},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HookerV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/Hooker94,
author = {John N. Hooker},
editor = {Alan Borning},
title = {Logic-Based Methods for Optimization},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {336--349},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_111},
doi = {10.1007/3-540-58601-6\_111},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/Hooker94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/Hooker93,
author = {John N. Hooker},
title = {New methods for computing inferences in first order logic},
journal = {Ann. Oper. Res.},
volume = {43},
number = {9},
pages = {477--492},
year = {1993},
url = {https://doi.org/10.1007/BF02027814},
doi = {10.1007/BF02027814},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/Hooker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Hooker93,
author = {John N. Hooker},
title = {Solving the incremental satisfiability problem},
journal = {J. Log. Program.},
volume = {15},
number = {1{\&}2},
pages = {177--186},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90018-C},
doi = {10.1016/0743-1066(93)90018-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Hooker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Hooker92,
author = {John N. Hooker},
title = {Generalized Resolution for 0-1 Linear Inequalities},
journal = {Ann. Math. Artif. Intell.},
volume = {6},
number = {1-3},
pages = {271--286},
year = {1992},
url = {https://doi.org/10.1007/BF01531033},
doi = {10.1007/BF01531033},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Hooker92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChandruH92,
author = {V. Chandru and
John N. Hooker},
title = {Detecting Embedded Horn Structure in Propositional Logic},
journal = {Inf. Process. Lett.},
volume = {42},
number = {2},
pages = {109--111},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90098-G},
doi = {10.1016/0020-0190(92)90098-G},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChandruH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/HookerGC91,
author = {John N. Hooker and
Robert S. Garfinkel and
C. K. Chen},
title = {Finite Dominating Sets for Network Location Problems},
journal = {Oper. Res.},
volume = {39},
number = {1},
pages = {100--118},
year = {1991},
url = {https://doi.org/10.1287/opre.39.1.100},
doi = {10.1287/OPRE.39.1.100},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/HookerGC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ChandruH91,
author = {Vijay Chandru and
John N. Hooker},
title = {Extended Horn Sets In Propositional Logic},
journal = {J. {ACM}},
volume = {38},
number = {1},
pages = {205--221},
year = {1991},
url = {https://doi.org/10.1145/102782.102789},
doi = {10.1145/102782.102789},
timestamp = {Sun, 03 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/ChandruH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hooker91,
author = {John N. Hooker},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Logical Inference and Polyhedral Projection},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {184--200},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023767},
doi = {10.1007/BFB0023767},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hooker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HookerF90,
author = {John N. Hooker and
C. Fedjiki},
title = {Branch-and-Cut Solution of Inference Problems in Propositional Logic},
journal = {Ann. Math. Artif. Intell.},
volume = {1},
pages = {123--139},
year = {1990},
url = {https://doi.org/10.1007/BF01531074},
doi = {10.1007/BF01531074},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HookerF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/Hooker89,
author = {John N. Hooker},
title = {Input Proofs and Rank One Cutting Planes},
journal = {{INFORMS} J. Comput.},
volume = {1},
number = {3},
pages = {137--145},
year = {1989},
url = {https://doi.org/10.1287/ijoc.1.3.137},
doi = {10.1287/IJOC.1.3.137},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/Hooker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/Hooker89,
author = {John N. Hooker},
title = {Solving nonlinear multiple-facility network location problems},
journal = {Networks},
volume = {19},
number = {1},
pages = {117--133},
year = {1989},
url = {https://doi.org/10.1002/net.3230190110},
doi = {10.1002/NET.3230190110},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/Hooker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/HookerG89,
author = {John N. Hooker and
Robert S. Garfinkel},
title = {On the Vector Assignment \emph{p}-Median Problem},
journal = {Transp. Sci.},
volume = {23},
number = {2},
pages = {139--140},
year = {1989},
url = {https://doi.org/10.1287/trsc.23.2.139},
doi = {10.1287/TRSC.23.2.139},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/transci/HookerG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Hooker88,
author = {John N. Hooker},
title = {Networklike metric spaces},
journal = {Discret. Math.},
volume = {68},
number = {1},
pages = {31--43},
year = {1988},
url = {https://doi.org/10.1016/0012-365X(88)90039-8},
doi = {10.1016/0012-365X(88)90039-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Hooker88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/Hooker88,
author = {John N. Hooker},
title = {A quantitative approach to logical inference},
journal = {Decis. Support Syst.},
volume = {4},
number = {1},
pages = {45--69},
year = {1988},
url = {https://doi.org/10.1016/0167-9236(88)90097-8},
doi = {10.1016/0167-9236(88)90097-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/Hooker88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/Hooker86,
author = {John N. Hooker},
title = {Solving Nonlinear Single-Facility Network Location Problems},
journal = {Oper. Res.},
volume = {34},
number = {5},
pages = {732--743},
year = {1986},
url = {https://doi.org/10.1287/opre.34.5.732},
doi = {10.1287/OPRE.34.5.732},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ior/Hooker86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-21 23:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
