Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ian Miguel
@article{DBLP:journals/ai/SpracklenDAM23,
author = {Patrick Spracklen and
Nguyen Dang and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian Miguel},
title = {Automated streamliner portfolios for constraint satisfaction problems},
journal = {Artif. Intell.},
volume = {319},
pages = {103915},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103915},
doi = {10.1016/J.ARTINT.2023.103915},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SpracklenDAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/HartMSR23,
author = {Emma Hart and
Ian Miguel and
Christopher Stone and
Quentin Renau},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {Towards optimisers that 'Keep Learning'},
booktitle = {Companion Proceedings of the Conference on Genetic and Evolutionary
Computation, {GECCO} 2023, Companion Volume, Lisbon, Portugal, July
15-19, 2023},
pages = {1636--1638},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583133.3596344},
doi = {10.1145/3583133.3596344},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/HartMSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CenaAKMNU23,
author = {Carlo Cena and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Zeynep Kiziltan and
Ian Miguel and
Peter Nightingale and
Felix Ulrich{-}Oltean},
title = {Learning When to Use Automatic Tabulation in Constraint Model Reformulation},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {1902--1910},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/211},
doi = {10.24963/IJCAI.2023/211},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CenaAKMNU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AkgunFGJMN23,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Alan M. Frisch and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
title = {Conjure: Automatic Generation of Constraint Models from Problem Specifications
(Extended Abstract)},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {6833--6838},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/765},
doi = {10.24963/IJCAI.2023/765},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AkgunFGJMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-01470,
author = {Joan Espasa and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon and
Mateu Villaret},
title = {Challenges in Modelling and Solving Plotting with {PDDL}},
journal = {CoRR},
volume = {abs/2310.01470},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.01470},
doi = {10.48550/ARXIV.2310.01470},
eprinttype = {arXiv},
eprint = {2310.01470},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-01503,
author = {Joan Espasa and
Ian P. Gent and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon and
Mateu Villaret},
title = {Towards a Model of Puzznic},
journal = {CoRR},
volume = {abs/2310.01503},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.01503},
doi = {10.48550/ARXIV.2310.01503},
eprinttype = {arXiv},
eprint = {2310.01503},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-11868,
author = {Ian Miguel and
Andr{\'{a}}s Z. Salamon and
Christopher Stone},
title = {Towards Exploratory Reformulation of Constraint Models},
journal = {CoRR},
volume = {abs/2311.11868},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.11868},
doi = {10.48550/ARXIV.2311.11868},
eprinttype = {arXiv},
eprint = {2311.11868},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-11868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AkgunFGJMN22,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Alan M. Frisch and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
title = {Conjure: Automatic Generation of Constraint Models from Problem Specifications},
journal = {Artif. Intell.},
volume = {310},
pages = {103751},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103751},
doi = {10.1016/J.ARTINT.2022.103751},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AkgunFGJMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/0001AEMN22,
author = {Nguyen Dang and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Joan Espasa and
Ian Miguel and
Peter Nightingale},
editor = {Christine Solnon},
title = {A Framework for Generating Informative Benchmark Instances},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {18:1--18:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.18},
doi = {10.4230/LIPICS.CP.2022.18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/0001AEMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/EspasaMV22,
author = {Joan Espasa and
Ian Miguel and
Mateu Villaret},
editor = {Christine Solnon},
title = {Plotting: {A} Planning Problem with Complex Transitions},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {22:1--22:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.22},
doi = {10.4230/LIPICS.CP.2022.22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/EspasaMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13250,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian P. Gent and
Christopher Jefferson and
Zeynep Kiziltan and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon and
Felix Ulrich{-}Oltean},
title = {Automatic Tabulation in Constraint Models},
journal = {CoRR},
volume = {abs/2202.13250},
year = {2022},
url = {https://arxiv.org/abs/2202.13250},
eprinttype = {arXiv},
eprint = {2202.13250},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-14753,
author = {Nguyen Dang and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Joan Espasa and
Ian Miguel and
Peter Nightingale},
title = {A Framework for Generating Informative Benchmark Instances},
journal = {CoRR},
volume = {abs/2205.14753},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.14753},
doi = {10.48550/ARXIV.2205.14753},
eprinttype = {arXiv},
eprint = {2205.14753},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-14753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/EspasaCMV21,
author = {Joan Espasa and
Jordi Coll and
Ian Miguel and
Mateu Villaret},
editor = {Mateu Villaret and
Teresa Alsinet and
C{\`{e}}sar Fern{\'{a}}ndez and
A{\"{\i}}da Valls},
title = {Exploring Lifted Planning Encodings in Essence Prime},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 23rd International Conference of the Catalan Association for Artificial
Intelligence, {CCIA} 2021, Virtual Event, 20-22 October, 2021},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {339},
pages = {66--75},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA210117},
doi = {10.3233/FAIA210117},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/EspasaCMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-14397,
author = {Jordi Coll and
Joan Espasa and
Ian Miguel and
Mateu Villaret},
title = {A Preliminary Case Study of Planning With Complex Transitions: Plotting},
journal = {CoRR},
volume = {abs/2110.14397},
year = {2021},
url = {https://arxiv.org/abs/2110.14397},
eprinttype = {arXiv},
eprint = {2110.14397},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-14397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-00821,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Alan M. Frisch and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon},
title = {Towards Reformulating Essence Specifications for Robustness},
journal = {CoRR},
volume = {abs/2111.00821},
year = {2021},
url = {https://arxiv.org/abs/2111.00821},
eprinttype = {arXiv},
eprint = {2111.00821},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-00821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AkgunDMSSS20,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Nguyen Dang and
Ian Miguel and
Andr{\'{a}}s Z. Salamon and
Patrick Spracklen and
Christopher Stone},
editor = {Emmanuel Hebrard and
Nysret Musliu},
title = {Discriminating Instance Generation from Abstract Specifications: {A}
Case Study with {CP} and {MIP}},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 17th International Conference, {CPAIOR} 2020,
Vienna, Austria, September 21-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12296},
pages = {41--51},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58942-4\_3},
doi = {10.1007/978-3-030-58942-4\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/AkgunDMSSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KocakAGM20,
author = {G{\"{o}}kberk Ko{\c{c}}ak and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Tias Guns and
Ian Miguel},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Exploiting Incomparability in Solution Dominance: Improving General
Purpose Constraint-Based Mining},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {331--338},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200110},
doi = {10.3233/FAIA200110},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KocakAGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-10152,
author = {Patrick Spracklen and
Nguyen Dang and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian Miguel},
title = {Towards Portfolios of Streamlined Constraint Models: {A} Case Study
with the Balanced Academic Curriculum Problem},
journal = {CoRR},
volume = {abs/2009.10152},
year = {2020},
url = {https://arxiv.org/abs/2009.10152},
eprinttype = {arXiv},
eprint = {2009.10152},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-10156,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Nguyen Dang and
Joan Espasa and
Ian Miguel and
Andr{\'{a}}s Z. Salamon and
Christopher Stone},
title = {Exploring Instance Generation for Automated Planning},
journal = {CoRR},
volume = {abs/2009.10156},
year = {2020},
url = {https://arxiv.org/abs/2009.10156},
eprinttype = {arXiv},
eprint = {2009.10156},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-11111,
author = {G{\"{o}}kberk Ko{\c{c}}ak and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Nguyen Dang and
Ian Miguel},
title = {Efficient Incremental Modelling and Solving},
journal = {CoRR},
volume = {abs/2009.11111},
year = {2020},
url = {https://arxiv.org/abs/2009.11111},
eprinttype = {arXiv},
eprint = {2009.11111},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/VargheseAMTB19,
author = {Blesson Varghese and
Ozgur Akgun and
Ian Miguel and
Long Thai and
Adam Barker},
title = {Cloud Benchmarking for Maximising Performance of Scientific Applications},
journal = {{IEEE} Trans. Cloud Comput.},
volume = {7},
number = {1},
pages = {170--182},
year = {2019},
url = {https://doi.org/10.1109/TCC.2016.2603476},
doi = {10.1109/TCC.2016.2603476},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcc/VargheseAMTB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AkgunDMSS19,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Nguyen Dang and
Ian Miguel and
Andr{\'{a}}s Z. Salamon and
Christopher Stone},
editor = {Thomas Schiex and
Simon de Givry},
title = {Instance Generation via Generator Instances},
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 = {3--19},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_1},
doi = {10.1007/978-3-030-30048-7\_1},
timestamp = {Mon, 24 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AkgunDMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBCDEMN19,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Jordi Coll and
Nguyen Dang and
Juan Luis Esteban and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon and
Josep Suy and
Mateu Villaret},
editor = {Thomas Schiex and
Simon de Givry},
title = {Automatic Detection of At-Most-One and Exactly-One Relations for Improved
{SAT} Encodings of Pseudo-Boolean Constraints},
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 = {20--36},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_2},
doi = {10.1007/978-3-030-30048-7\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBCDEMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SpracklenDAM19,
author = {Patrick Spracklen and
Nguyen Dang and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian Miguel},
editor = {Thomas Schiex and
Simon de Givry},
title = {Automatic Streamlining for Constrained Optimisation},
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 = {366--383},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_22},
doi = {10.1007/978-3-030-30048-7\_22},
timestamp = {Mon, 24 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SpracklenDAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AttiehDJMN19,
author = {Saad Attieh and
Nguyen Dang and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
editor = {Sarit Kraus},
title = {Athanor: High-Level Local Search Over Abstract Constraint Specifications
in Essence},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1056--1063},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/148},
doi = {10.24963/IJCAI.2019/148},
timestamp = {Mon, 24 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AttiehDJMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-00505,
author = {G{\"{o}}kberk Ko{\c{c}}ak and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Tias Guns and
Ian Miguel},
title = {Towards Improving Solution Dominance with Incomparability Conditions:
{A} case-study using Generator Itemset Mining},
journal = {CoRR},
volume = {abs/1910.00505},
year = {2019},
url = {http://arxiv.org/abs/1910.00505},
eprinttype = {arXiv},
eprint = {1910.00505},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01423,
author = {Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh},
title = {A Commentary on "Breaking Row and Column Symmetries in Matrix
Models"},
journal = {CoRR},
volume = {abs/1910.01423},
year = {2019},
url = {http://arxiv.org/abs/1910.01423},
eprinttype = {arXiv},
eprint = {1910.01423},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01423.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GentMNMPMU18,
author = {Ian P. Gent and
Ian Miguel and
Peter Nightingale and
Ciaran McCreesh and
Patrick Prosser and
Neil C. A. Moore and
Chris Unsworth},
title = {A review of literature on parallel constraint solving},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {725--758},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000340},
doi = {10.1017/S1471068418000340},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GentMNMPMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AkgunGJMNS18,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon},
editor = {John N. Hooker},
title = {Automatic Discovery and Exploitation of Promising Subproblems for
Tabulation},
booktitle = {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},
pages = {3--12},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_1},
doi = {10.1007/978-3-319-98334-9\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/AkgunGJMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SpracklenAM18,
author = {Patrick Spracklen and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian Miguel},
editor = {John N. Hooker},
title = {Automatic Generation and Selection of Streamlined Constraint Models
via Monte Carlo Search on a Model Lattice},
booktitle = {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},
pages = {362--372},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_24},
doi = {10.1007/978-3-319-98334-9\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SpracklenAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AkgunGJMN18,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
editor = {John N. Hooker},
title = {Metamorphic Testing of Constraint Solvers},
booktitle = {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},
pages = {727--736},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_46},
doi = {10.1007/978-3-319-98334-9\_46},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/AkgunGJMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/KocakAMN18,
author = {Gokberk Kocak and
Ozgur Akgun and
Ian Miguel and
Peter Nightingale},
editor = {Hanghang Tong and
Zhenhui Jessie Li and
Feida Zhu and
Jeffrey Yu},
title = {Closed Frequent Itemset Mining with Arbitrary Side Constraints},
booktitle = {2018 {IEEE} International Conference on Data Mining Workshops, {ICDM}
Workshops, Singapore, Singapore, November 17-20, 2018},
pages = {1224--1232},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICDMW.2018.00175},
doi = {10.1109/ICDMW.2018.00175},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/KocakAMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AkgunAGJMNSSW18,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Saad Attieh and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon and
Patrick Spracklen and
James Wetter},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {A Framework for Constraint Based Local Search using Essence},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1242--1248},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/173},
doi = {10.24963/IJCAI.2018/173},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AkgunAGJMNSSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10981,
author = {Ian P. Gent and
Ciaran McCreesh and
Ian Miguel and
Neil C. A. Moore and
Peter Nightingale and
Patrick Prosser and
Chris Unsworth},
title = {A Review of Literature on Parallel Constraint Solving},
journal = {CoRR},
volume = {abs/1803.10981},
year = {2018},
url = {http://arxiv.org/abs/1803.10981},
eprinttype = {arXiv},
eprint = {1803.10981},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-09847,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian Miguel},
title = {Modelling Langford's Problem: {A} Viewpoint for Search},
journal = {CoRR},
volume = {abs/1808.09847},
year = {2018},
url = {http://arxiv.org/abs/1808.09847},
eprinttype = {arXiv},
eprint = {1808.09847},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/NightingaleAGJM17,
author = {Peter Nightingale and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Patrick Spracklen},
title = {Automatically improving constraint models in Savile Row},
journal = {Artif. Intell.},
volume = {251},
pages = {35--61},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.07.001},
doi = {10.1016/J.ARTINT.2017.07.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/NightingaleAGJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AkgunGJMN16,
author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
editor = {Michel Rueher},
title = {Exploiting Short Supports for Improved Encoding of Arbitrary Constraints
into {SAT}},
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 = {3--12},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_1},
doi = {10.1007/978-3-319-44953-1\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/AkgunGJMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VargheseAMTB16,
author = {Blesson Varghese and
Ozgur Akgun and
Ian Miguel and
Long Thai and
Adam Barker},
title = {Cloud Benchmarking For Maximising Performance of Scientific Applications},
journal = {CoRR},
volume = {abs/1608.00406},
year = {2016},
url = {http://arxiv.org/abs/1608.00406},
eprinttype = {arXiv},
eprint = {1608.00406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VargheseAMTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NightingaleSM15,
author = {Peter Nightingale and
Patrick Spracklen and
Ian Miguel},
editor = {Gilles Pesant},
title = {Automatically Improving {SAT} Encoding of Constraint Problems Through
Common Subexpression Elimination in Savile Row},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
pages = {330--340},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_23},
doi = {10.1007/978-3-319-23219-5\_23},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/NightingaleSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WetterAM15,
author = {James Wetter and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian Miguel},
editor = {Gilles Pesant},
title = {Automatically Generating Streamlined Constraint Models with Essence
and Conjure},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
pages = {480--496},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_34},
doi = {10.1007/978-3-319-23219-5\_34},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/WetterAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/WetterABDMV15,
author = {James Wetter and
Ozgur Akgun and
Adam Barker and
Martin Dominik and
Ian Miguel and
Blesson Varghese},
title = {Cloud-based E-Infrastructure for Scheduling Astronomical Observations},
booktitle = {11th {IEEE} International Conference on e-Science, e-Science 2015,
Munich, Germany, August 31 - September 4, 2015},
pages = {362--370},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/eScience.2015.54},
doi = {10.1109/ESCIENCE.2015.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/WetterABDMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentJLMN14,
author = {Ian P. Gent and
Christopher Jefferson and
Steve Linton and
Ian Miguel and
Peter Nightingale},
title = {Generating custom propagators for arbitrary constraints},
journal = {Artif. Intell.},
volume = {211},
pages = {1--33},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.03.001},
doi = {10.1016/J.ARTINT.2014.03.001},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GentJLMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KelseyKJLMNG14,
author = {Thomas W. Kelsey and
Lars Kotthoff and
Christopher Jefferson and
Stephen A. Linton and
Ian Miguel and
Peter Nightingale and
Ian P. Gent},
title = {Qualitative modelling via constraint programming},
journal = {Constraints An Int. J.},
volume = {19},
number = {2},
pages = {163--173},
year = {2014},
url = {https://doi.org/10.1007/s10601-014-9158-6},
doi = {10.1007/S10601-014-9158-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/KelseyKJLMNG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/VargheseAMTB14,
author = {Blesson Varghese and
Ozgur Akgun and
Ian Miguel and
Long Thai and
Adam Barker},
title = {Cloud Benchmarking for Performance},
booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology
and Science, CloudCom 2014, Singapore, December 15-18, 2014},
pages = {535--540},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CloudCom.2014.28},
doi = {10.1109/CLOUDCOM.2014.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/VargheseAMTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/ThaiBVAM14,
author = {Long Thai and
Adam Barker and
Blesson Varghese and
Ozgur Akgun and
Ian Miguel},
title = {Optimal Deployment of Geographically Distributed Workflow Engines
on the Cloud},
booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology
and Science, CloudCom 2014, Singapore, December 15-18, 2014},
pages = {811--816},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CloudCom.2014.30},
doi = {10.1109/CLOUDCOM.2014.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/ThaiBVAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentHJKMNN14,
author = {Ian P. Gent and
Bilal Syed Hussain and
Christopher Jefferson and
Lars Kotthoff and
Ian Miguel and
Glenna F. Nightingale and
Peter Nightingale},
editor = {Barry O'Sullivan},
title = {Discriminating Instance Generation for Automated Constraint Model
Selection},
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 = {356--365},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_27},
doi = {10.1007/978-3-319-10428-7\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentHJKMNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NightingaleAGJM14,
author = {Peter Nightingale and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel},
editor = {Barry O'Sullivan},
title = {Automatically Improving Constraint Models in Savile Row through Associative-Commutative
Common Subexpression Elimination},
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 = {590--605},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_43},
doi = {10.1007/978-3-319-10428-7\_43},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/NightingaleAGJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AkgunGJMN14,
author = {Ozgur Akgun and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Breaking Conditional Symmetry in Automated Constraint Modelling with
{CONJURE}},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {3--8},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-3},
doi = {10.3233/978-1-61499-419-0-3},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AkgunGJMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NightingaleGJM14,
author = {Peter Nightingale and
Ian Philip Gent and
Christopher Jefferson and
Ian Miguel},
title = {Short and Long Supports for Constraint Propagation},
journal = {CoRR},
volume = {abs/1402.0559},
year = {2014},
url = {http://arxiv.org/abs/1402.0559},
eprinttype = {arXiv},
eprint = {1402.0559},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NightingaleGJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ThaiBVAM14,
author = {Long Thai and
Adam Barker and
Blesson Varghese and
Ozgur Akgun and
Ian Miguel},
title = {Optimal Deployment of Geographically Distributed Workflow Engines
on the Cloud},
journal = {CoRR},
volume = {abs/1410.8359},
year = {2014},
url = {http://arxiv.org/abs/1410.8359},
eprinttype = {arXiv},
eprint = {1410.8359},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ThaiBVAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VargheseAMTB14,
author = {Blesson Varghese and
Ozgur Akgun and
Ian Miguel and
Long Thai and
Adam Barker},
title = {Cloud Benchmarking for Performance},
journal = {CoRR},
volume = {abs/1411.0912},
year = {2014},
url = {http://arxiv.org/abs/1411.0912},
eprinttype = {arXiv},
eprint = {1411.0912},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/VargheseAMTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/NightingaleGJM13,
author = {Peter Nightingale and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel},
title = {Short and Long Supports for Constraint Propagation},
journal = {J. Artif. Intell. Res.},
volume = {46},
pages = {1--45},
year = {2013},
url = {https://doi.org/10.1613/jair.3749},
doi = {10.1613/JAIR.3749},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/NightingaleGJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AkgunFGHJKMN13,
author = {Ozgur Akgun and
Alan M. Frisch and
Ian P. Gent and
Bilal Syed Hussain and
Christopher Jefferson and
Lars Kotthoff and
Ian Miguel and
Peter Nightingale},
editor = {Christian Schulte},
title = {Automated Symmetry Breaking and Model Selection in Conjure},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {107--116},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_11},
doi = {10.1007/978-3-642-40627-0\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AkgunFGHJKMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GentMM12,
author = {Ian P. Gent and
Ian Miguel and
Neil C. A. Moore},
title = {An empirical study of learning and forgetting constraints},
journal = {{AI} Commun.},
volume = {25},
number = {2},
pages = {191--208},
year = {2012},
url = {https://doi.org/10.3233/AIC-2012-0524},
doi = {10.3233/AIC-2012-0524},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GentMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/KotthoffGM12,
author = {Lars Kotthoff and
Ian P. Gent and
Ian Miguel},
title = {An evaluation of machine learning in algorithm selection for search
problems},
journal = {{AI} Commun.},
volume = {25},
number = {3},
pages = {257--270},
year = {2012},
url = {https://doi.org/10.3233/AIC-2012-0533},
doi = {10.3233/AIC-2012-0533},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/KotthoffGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BalasubramaniamJKMN12,
author = {Dharini Balasubramaniam and
Christopher Jefferson and
Lars Kotthoff and
Ian Miguel and
Peter Nightingale},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {An automated approach to generating efficient constraint solvers},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {661--671},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227151},
doi = {10.1109/ICSE.2012.6227151},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BalasubramaniamJKMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-3916,
author = {Thomas W. Kelsey and
Lars Kotthoff and
Christopher Jefferson and
Stephen A. Linton and
Ian Miguel and
Peter Nightingale and
Ian P. Gent},
title = {Qualitative Modelling via Constraint Programming: Past, Present and
Future},
journal = {CoRR},
volume = {abs/1209.3916},
year = {2012},
url = {http://arxiv.org/abs/1209.3916},
eprinttype = {arXiv},
eprint = {1209.3916},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-3916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AkgunMJFH11,
author = {Ozgur Akgun and
Ian Miguel and
Christopher Jefferson and
Alan M. Frisch and
Brahim Hnich},
editor = {Wolfram Burgard and
Dan Roth},
title = {Extensible Automated Constraint Modelling},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {4--11},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7820},
doi = {10.1609/AAAI.V25I1.7820},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AkgunMJFH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NightingaleGJM11,
author = {Peter Nightingale and
Ian P. Gent and
Christopher Jefferson and
Ian Miguel},
editor = {Toby Walsh},
title = {Exploiting Short Supports for Generalised Arc Consistency for Arbitrary
Constraints},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {623--628},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-111},
doi = {10.5591/978-1-57735-516-8/IJCAI11-111},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NightingaleGJM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/KotthoffGM11,
author = {Lars Kotthoff and
Ian P. Gent and
Ian Miguel},
editor = {Daniel Borrajo and
Maxim Likhachev and
Carlos Linares L{\'{o}}pez},
title = {A Preliminary Evaluation of Machine Learning in Algorithm Selection
for Search Problems},
booktitle = {Proceedings of the Fourth Annual Symposium on Combinatorial Search,
{SOCS} 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011},
pages = {84--91},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/socs.v2i1.18184},
doi = {10.1609/SOCS.V2I1.18184},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/KotthoffGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BalasubramaniamSJKMN11,
author = {Dharini Balasubramaniam and
Lakshitha de Silva and
Christopher Jefferson and
Lars Kotthoff and
Ian Miguel and
Peter Nightingale},
title = {Dominion: An Architecture-Driven Approach to Generating Efficient
Constraint Solvers},
booktitle = {9th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2011, Boulder, Colorado, USA, June 20-24, 2011},
pages = {228--231},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WICSA.2011.37},
doi = {10.1109/WICSA.2011.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/BalasubramaniamSJKMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-1774,
author = {Ozgur Akgun and
Alan M. Frisch and
Brahim Hnich and
Christopher Jefferson and
Ian Miguel},
title = {Conjure Revisited: Towards Automated Constraint Modelling},
journal = {CoRR},
volume = {abs/1109.1774},
year = {2011},
url = {http://arxiv.org/abs/1109.1774},
eprinttype = {arXiv},
eprint = {1109.1774},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1774.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-6290,
author = {Ian P. Gent and
Christopher Jefferson and
Lars Kotthoff and
Ian Miguel},
title = {Modelling Constraint Solver Architecture Design as a Constraint Problem},
journal = {CoRR},
volume = {abs/1110.6290},
year = {2011},
url = {http://arxiv.org/abs/1110.6290},
eprinttype = {arXiv},
eprint = {1110.6290},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-6290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentJMN10,
author = {Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
editor = {David Cohen},
title = {Generating Special-Purpose Stateless Propagators for Arbitrary Constraints},
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 = {206--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_19},
doi = {10.1007/978-3-642-15396-9\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentJMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KotthoffMN10,
author = {Lars Kotthoff and
Ian Miguel and
Peter Nightingale},
editor = {David Cohen},
title = {Ensemble Classification for Constraint Solver Configuration},
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 = {321--329},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_27},
doi = {10.1007/978-3-642-15396-9\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KotthoffMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentJKMMNP10,
author = {Ian P. Gent and
Christopher Jefferson and
Lars Kotthoff and
Ian Miguel and
Neil C. A. Moore and
Peter Nightingale and
Karen E. Petrie},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Learning When to Use Lazy Learning in Constraint Solving},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {873--878},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-873},
doi = {10.3233/978-1-60750-606-5-873},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GentJKMMNP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GentMM10,
author = {Ian P. Gent and
Ian Miguel and
Neil C. A. Moore},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {Lazy Explanations for Constraint Propagators},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {217--233},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_19},
doi = {10.1007/978-3-642-11503-5\_19},
timestamp = {Sat, 19 Oct 2019 20:25:18 +0200},
biburl = {https://dblp.org/rec/conf/padl/GentMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-3502,
author = {Lars Kotthoff and
Ian P. Gent and
Ian Miguel},
title = {Using machine learning to make constraint solver implementation decisions},
journal = {CoRR},
volume = {abs/1005.3502},
year = {2010},
url = {http://arxiv.org/abs/1005.3502},
eprinttype = {arXiv},
eprint = {1005.3502},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-3502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-4326,
author = {Ian P. Gent and
Lars Kotthoff and
Ian Miguel and
Peter Nightingale},
title = {Machine learning for constraint solver design -- {A} case study for
the alldifferent constraint},
journal = {CoRR},
volume = {abs/1008.4326},
year = {2010},
url = {http://arxiv.org/abs/1008.4326},
eprinttype = {arXiv},
eprint = {1008.4326},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-4326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FrischHKMW09,
author = {Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh},
title = {Filtering algorithms for the multiset ordering constraint},
journal = {Artif. Intell.},
volume = {173},
number = {2},
pages = {299--328},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2008.11.001},
doi = {10.1016/J.ARTINT.2008.11.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/FrischHKMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GraylandJMR09,
author = {Andrew Grayland and
Christopher Jefferson and
Ian Miguel and
Colva M. Roney{-}Dougal},
title = {Minimal ordering constraints for some families of variable symmetries},
journal = {Ann. Math. Artif. Intell.},
volume = {57},
number = {1},
pages = {75--102},
year = {2009},
url = {https://doi.org/10.1007/s10472-010-9174-1},
doi = {10.1007/S10472-010-9174-1},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GraylandJMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HuczynskaMMN09,
author = {Sophie Huczynska and
Paul McKay and
Ian Miguel and
Peter Nightingale},
editor = {Ian P. Gent},
title = {Modelling Equidistant Frequency Permutation Arrays: An Application
of Constraints to Mathematics},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {50--64},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_7},
doi = {10.1007/978-3-642-04244-7\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HuczynskaMMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GraylandMR09,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Ian P. Gent},
title = {Snake Lex: An Alternative to Double Lex},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {391--399},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_32},
doi = {10.1007/978-3-642-04244-7\_32},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GraylandMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GentMMNH09,
author = {Ian P. Gent and
Paul McKay and
Ian Miguel and
Peter Nightingale and
Sophie Huczynska},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Modelling Equidistant Frequency Permutation Arrays in Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/818},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GentMMNH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GraylandMR09,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Confluence of Reduction Rules for Lexicographic Ordering Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/832},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GraylandMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GraylandMR09a,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {In Search of a Better Method to Break Row and Column Symmetries},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/829},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GraylandMR09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RendlMGG09,
author = {Andrea Rendl and
Ian Miguel and
Ian P. Gent and
Peter Gregory},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Common Subexpressions in Constraint Models of Planning Problems},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/823},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RendlMGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RendlMGJ09,
author = {Andrea Rendl and
Ian Miguel and
Ian P. Gent and
Christopher Jefferson},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Automatically Enhancing Constraint Model Instances during Tailoring},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/824},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RendlMGJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-0460,
author = {Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh},
title = {Filtering Algorithms for the Multiset Ordering Constraint},
journal = {CoRR},
volume = {abs/0903.0460},
year = {2009},
url = {http://arxiv.org/abs/0903.0460},
eprinttype = {arXiv},
eprint = {0903.0460},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-0460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3769,
author = {Alan M. Frisch and
Ian Miguel and
Zeynep Kiziltan and
Brahim Hnich and
Toby Walsh},
title = {Multiset Ordering Constraints},
journal = {CoRR},
volume = {abs/0905.3769},
year = {2009},
url = {http://arxiv.org/abs/0905.3769},
eprinttype = {arXiv},
eprint = {0905.3769},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentMN08,
author = {Ian P. Gent and
Ian Miguel and
Peter Nightingale},
title = {Generalised arc consistency for the AllDifferent constraint: An empirical
survey},
journal = {Artif. Intell.},
volume = {172},
number = {18},
pages = {1973--2000},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2008.10.006},
doi = {10.1016/J.ARTINT.2008.10.006},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GentMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FrischM08,
author = {Alan M. Frisch and
Ian Miguel},
title = {Introduction to the Special Issue on Abstraction and Automation in
Constraint Modelling},
journal = {Constraints An Int. J.},
volume = {13},
number = {3},
pages = {227--228},
year = {2008},
url = {https://doi.org/10.1007/s10601-008-9045-0},
doi = {10.1007/S10601-008-9045-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/FrischM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FrischHJHM08,
author = {Alan M. Frisch and
Warwick Harvey and
Christopher Jefferson and
Bernadette Mart{\'{\i}}nez Hern{\'{a}}ndez and
Ian Miguel},
title = {Essence : {A} constraint language for specifying combinatorial problems},
journal = {Constraints An Int. J.},
volume = {13},
number = {3},
pages = {268--306},
year = {2008},
url = {https://doi.org/10.1007/s10601-008-9047-y},
doi = {10.1007/S10601-008-9047-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/FrischHJHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GentJKLMNST07,
author = {Ian P. Gent and
Christopher Jefferson and
Tom Kelsey and
In{\^{e}}s Lynce and
Ian Miguel and
Peter Nightingale and
Barbara M. Smith and
Armagan Tarim},
title = {Search in the patience game 'Black Hole'},
journal = {{AI} Commun.},
volume = {20},
number = {3},
pages = {211--226},
year = {2007},
url = {http://content.iospress.com/articles/ai-communications/aic405},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GentJKLMNST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentJMN07,
author = {Ian P. Gent and
Christopher Jefferson and
Ian Miguel and
Peter Nightingale},
title = {Data Structures for Generalised Arc Consistency for Extensional Constraints},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {191--197},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-029.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GentJMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FrischGJHM07,
author = {Alan M. Frisch and
Matthew Grum and
Christopher Jefferson and
Bernadette Mart{\'{\i}}nez Hern{\'{a}}ndez and
Ian Miguel},
editor = {Manuela M. Veloso},
title = {The Design of {ESSENCE:} {A} Constraint Language for Specifying Combinatorial
Problems},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {80--87},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FrischGJHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GentMR07,
author = {Ian P. Gent and
Ian Miguel and
Andrea Rendl},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Tailoring Solver-Independent Constraint Models: {A} Case Study with
Essence' and Minion},
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 = {184--199},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_16},
doi = {10.1007/978-3-540-73580-9\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/GentMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2007,
editor = {Ian Miguel and
Wheeler Ruml},
title = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9},
doi = {10.1007/978-3-540-73580-9},
isbn = {978-3-540-73579-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FrischHKMW06,
author = {Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh},
title = {Propagation algorithms for lexicographic ordering constraints},
journal = {Artif. Intell.},
volume = {170},
number = {10},
pages = {803--834},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.03.002},
doi = {10.1016/J.ARTINT.2006.03.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/FrischHKMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/JeffersonMMT06,
author = {Christopher Jefferson and
Angela Miguel and
Ian Miguel and
Armagan Tarim},
title = {Modelling and solving English Peg Solitaire},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2935--2959},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2005.01.018},
doi = {10.1016/J.COR.2005.01.018},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/JeffersonMMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentJM06,
author = {Ian P. Gent and
Christopher Jefferson and
Ian Miguel},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Watched Literals for Constraint Propagation in Minion},
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 = {182--197},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_15},
doi = {10.1007/11889205\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CharnleyCM06,
author = {John William Charnley and
Simon Colton and
Ian Miguel},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Automatic Generation of Implied Constraints},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {73--77},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1649},
timestamp = {Fri, 26 Aug 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CharnleyCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentJM06,
author = {Ian P. Gent and
Christopher Jefferson and
Ian Miguel},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Minion: {A} Fast Scalable Constraint Solver},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {98--102},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1654},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GentJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BrownM06,
author = {Kenneth N. Brown and
Ian Miguel},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Uncertainty and Change},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {731--760},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80025-8},
doi = {10.1016/S1574-6526(06)80025-8},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/BrownM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MiguelS05,
author = {Ian Miguel and
Qiang Shen},
title = {Exhibiting the behavior of time-delayed systems via an extension to
qualitative simulation},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {35},
number = {2},
pages = {298--305},
year = {2005},
url = {https://doi.org/10.1109/TSMCA.2005.843387},
doi = {10.1109/TSMCA.2005.843387},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/MiguelS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLMMS05,
author = {Ian P. Gent and
Tom Kelsey and
Steve Linton and
Iain McDonald and
Ian Miguel and
Barbara M. Smith},
editor = {Peter van Beek},
title = {Conditional Symmetry Breaking},
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 = {256--270},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_21},
doi = {10.1007/11564751\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentKLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BartlettFHMTU05,
author = {Mark Bartlett and
Alan M. Frisch and
Youssef Hamadi and
Ian Miguel and
Armagan Tarim and
Chris Unsworth},
editor = {Roman Bart{\'{a}}k and
Michela Milano},
title = {The Temporal Knapsack Problem and Its Solution},
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 = {34--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11493853\_5},
doi = {10.1007/11493853\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BartlettFHMTU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/TarimM05,
author = {Armagan Tarim and
Ian Miguel},
editor = {Brahim Hnich and
Mats Carlsson and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint
Programs with Linear Recourse},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3978},
pages = {133--148},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11754602\_10},
doi = {10.1007/11754602\_10},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/TarimM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FrischJMM05,
author = {Alan M. Frisch and
Christopher Jefferson and
Bernadette Mart{\'{\i}}nez Hern{\'{a}}ndez and
Ian Miguel},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {The Rules of Constraint Modelling},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {109--116},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1667.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FrischJMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FrischHMSW05,
author = {Alan M. Frisch and
Brahim Hnich and
Ian Miguel and
Barbara M. Smith and
Toby Walsh},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Transforming and Refining Abstract Constraint Specifications},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {76--91},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_6},
doi = {10.1007/11527862\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FrischHMSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:phd/uk/Miguel2004,
author = {Ian Miguel},
title = {Dynamic flexible constraint satisfaction and its application to {AI}
planning},
publisher = {Springer},
year = {2004},
url = {https://d-nb.info/969624166},
isbn = {1-85233-764-8},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/uk/Miguel2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/HnichKMW04,
author = {Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh},
title = {Hybrid Modelling for Robust Solving},
journal = {Ann. Oper. Res.},
volume = {130},
number = {1-4},
pages = {19--39},
year = {2004},
url = {https://doi.org/10.1023/B:ANOR.0000032568.51115.0d},
doi = {10.1023/B:ANOR.0000032568.51115.0D},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/HnichKMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TarimM04,
author = {Armagan Tarim and
Ian Miguel},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {Echelon Stock Formulation of Arborescent Distribution Systems: An
Application to the Wagner-Whitin Problem},
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 = {302--318},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_21},
doi = {10.1007/978-3-540-24664-0\_21},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/TarimM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FrischJM04,
author = {Alan M. Frisch and
Christopher Jefferson and
Ian Miguel},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Symmetry Breaking as a Prelude to Implied Constraints: {A} Constraint
Modelling Pattern},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {171--175},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/FrischJM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MiguelS03,
author = {Ian Miguel and
Qiang Shen},
title = {Fuzzy rrDFCSP and planning},
journal = {Artif. Intell.},
volume = {148},
number = {1-2},
pages = {11--52},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(03)00020-1},
doi = {10.1016/S0004-3702(03)00020-1},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MiguelS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FrischJM03,
author = {Alan M. Frisch and
Christopher Jefferson and
Ian Miguel},
editor = {Francesca Rossi},
title = {Constraints for Breaking More Row and Column Symmetries},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {318--332},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_22},
doi = {10.1007/978-3-540-45193-8\_22},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/FrischJM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FrischMKHW03,
author = {Alan M. Frisch and
Ian Miguel and
Zeynep Kiziltan and
Brahim Hnich and
Toby Walsh},
editor = {Georg Gottlob and
Toby Walsh},
title = {Multiset Ordering Constraints},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {221--226},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/032.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FrischMKHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognet/FrischMW02,
author = {Alan M. Frisch and
Ian Miguel and
Toby Walsh},
editor = {Barry O'Sullivan},
title = {{CGRASS:} {A} System for Transforming Constraint Satisfaction Problems},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CologNet International
Workshop on Constraint Solving and Constraint Logic Programming, Cork,
Ireland, June 19-21, 2002. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2627},
pages = {15--30},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36607-5\_2},
doi = {10.1007/3-540-36607-5\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colognet/FrischMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FrischHKMW02,
author = {Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh},
editor = {Pascal Van Hentenryck},
title = {Global Constraints for Lexicographic Orderings},
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 = {93--108},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_7},
doi = {10.1007/3-540-46135-3\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/FrischHKMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FlenerFHKMPW02,
author = {Pierre Flener and
Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Justin Pearson and
Toby Walsh},
editor = {Pascal Van Hentenryck},
title = {Breaking Row and Column Symmetries in Matrix Models},
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 = {462--476},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_31},
doi = {10.1007/3-540-46135-3\_31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/FlenerFHKMPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Miguel01,
author = {Ian Miguel},
title = {Dynamic flexible constraint satisfaction and its application to {AI}
planning},
school = {University of Edinburgh, {UK}},
year = {2001},
url = {https://hdl.handle.net/1842/326},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Miguel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/MiguelS01,
author = {Ian Miguel and
Qiang Shen},
title = {Solution Techniques for Constraint Satisfaction Problems: Foundations},
journal = {Artif. Intell. Rev.},
volume = {15},
number = {4},
pages = {243--267},
year = {2001},
url = {https://doi.org/10.1023/A:1011039901653},
doi = {10.1023/A:1011039901653},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/MiguelS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/MiguelS01a,
author = {Ian Miguel and
Qiang Shen},
title = {Solution Techniques for Constraint Satisfaction Problems: Advanced
Approaches},
journal = {Artif. Intell. Rev.},
volume = {15},
number = {4},
pages = {269--293},
year = {2001},
url = {https://doi.org/10.1023/A:1011096320004},
doi = {10.1023/A:1011096320004},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/MiguelS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ColtonM01,
author = {Simon Colton and
Ian Miguel},
editor = {Toby Walsh},
title = {Constraint Generation via Automated Theory Formation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {575--579},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_42},
doi = {10.1007/3-540-45578-7\_42},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ColtonM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/MiguelS00,
author = {Ian Miguel and
Qiang Shen},
title = {Dynamic Flexible Constraint Satisfaction},
journal = {Appl. Intell.},
volume = {13},
number = {3},
pages = {231--245},
year = {2000},
url = {https://doi.org/10.1023/A:1026563910104},
doi = {10.1023/A:1026563910104},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/MiguelS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MiguelJS00,
author = {Ian Miguel and
Peter Jarvis and
Qiang Shen},
editor = {Werner Horn},
title = {Flexible Graphplan},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {506--510},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 17 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MiguelJS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/MiguelS99,
author = {Ian Miguel and
Qiang Shen},
title = {Hard, flexible and dynamic constraint satisfaction},
journal = {Knowl. Eng. Rev.},
volume = {14},
number = {3},
pages = {199--220},
year = {1999},
url = {https://doi.org/10.1017/S0269888999003070},
doi = {10.1017/S0269888999003070},
timestamp = {Fri, 24 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/MiguelS99.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-04-25 05:51 CEST 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:
