Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Nightingale
@article{DBLP:journals/constraints/UlrichOlteanNW23,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
title = {Learning to select {SAT} encodings for pseudo-Boolean and linear integer
constraints},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {397--426},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09364-1},
doi = {10.1007/S10601-023-09364-1},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/UlrichOlteanNW23.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}
}
@inproceedings{DBLP:conf/ijcai/BofillCNSUV23,
author = {Miquel Bofill and
Jordi Coll and
Peter Nightingale and
Josep Suy and
Felix Ulrich{-}Oltean and
Mateu Villaret},
title = {{SAT} Encodings for Pseudo-Boolean Constraints Together With At-Most-One
Constraints (Extended Abstract)},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {6853--6857},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/769},
doi = {10.24963/IJCAI.2023/769},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BofillCNSUV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09342,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
title = {Learning to Select {SAT} Encodings for Pseudo-Boolean and Linear Integer
Constraints},
journal = {CoRR},
volume = {abs/2307.09342},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09342},
doi = {10.48550/ARXIV.2307.09342},
eprinttype = {arXiv},
eprint = {2307.09342},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09342.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/ai/BofillCNSUV22,
author = {Miquel Bofill and
Jordi Coll and
Peter Nightingale and
Josep Suy and
Felix Ulrich{-}Oltean and
Mateu Villaret},
title = {{SAT} encodings for Pseudo-Boolean constraints together with at-most-one
constraints},
journal = {Artif. Intell.},
volume = {302},
pages = {103604},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103604},
doi = {10.1016/J.ARTINT.2021.103604},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BofillCNSUV22.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/Ulrich-OlteanNW22,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
editor = {Christine Solnon},
title = {Selecting {SAT} Encodings for Pseudo-Boolean and Linear Integer Constraints},
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 = {38:1--38:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.38},
doi = {10.4230/LIPICS.CP.2022.38},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Ulrich-OlteanNW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03472,
author = {Peter Nightingale},
title = {Savile Row Manual},
journal = {CoRR},
volume = {abs/2201.03472},
year = {2022},
url = {https://arxiv.org/abs/2201.03472},
eprinttype = {arXiv},
eprint = {2201.03472},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03472.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/cmna/MalmqvistYN21,
author = {Lars Malmqvist and
Tommy Yuan and
Peter Nightingale},
editor = {Floriana Grasso and
Nancy L. Green and
Jodi Schneider and
Simon Wells},
title = {Improving Misinformation Detection in Tweets with Abstract Argumentation},
booktitle = {Proceedings of the 21st Workshop on Computational Models of Natural
Argument, Online, September 2-3, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2937},
pages = {40--46},
publisher = {CEUR-WS.org},
year = {2021},
url = {http://ceur-ws.org/Vol-2937/paper5.pdf},
timestamp = {Sat, 27 Jan 2024 16:34:35 +0100},
biburl = {https://dblp.org/rec/conf/cmna/MalmqvistYN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08068,
author = {Miquel Bofill and
Jordi Coll and
Peter Nightingale and
Josep Suy and
Felix Ulrich{-}Oltean and
Mateu Villaret},
title = {{SAT} Encodings for Pseudo-Boolean Constraints Together With At-Most-One
Constraints},
journal = {CoRR},
volume = {abs/2110.08068},
year = {2021},
url = {https://arxiv.org/abs/2110.08068},
eprinttype = {arXiv},
eprint = {2110.08068},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08068.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}
}
@article{DBLP:journals/tvcg/ZhuNAN20,
author = {Xu Zhu and
Miguel A. Nacenta and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Peter Nightingale},
title = {How People Visually Represent Discrete Constraint Problems},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {26},
number = {8},
pages = {2603--2619},
year = {2020},
url = {https://doi.org/10.1109/TVCG.2019.2895085},
doi = {10.1109/TVCG.2019.2895085},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/ZhuNAN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/MalmqvistYNM20,
author = {Lars Malmqvist and
Tommy Yuan and
Peter Nightingale and
Suresh Manandhar},
editor = {Sarah Alice Gaggl and
Matthias Thimm and
Mauro Vallati},
title = {Determining the Acceptability of Abstract Arguments with Graph Convolutional
Networks},
booktitle = {Proceedings of the Third International Workshop on Systems and Algorithms
for Formal Argumentation co-located with the 8th International Conference
on Computational Models of Argument {(COMMA} 2020), September 8, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2672},
pages = {47--56},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2672/paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/comma/MalmqvistYNM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DavidsonAEN20,
author = {Ewan Davidson and
{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
Joan Espasa and
Peter Nightingale},
editor = {Helmut Simonis},
title = {Effective Encodings of Constraint Programming Models to {SMT}},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {143--159},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_9},
doi = {10.1007/978-3-030-58475-7\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DavidsonAEN20.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/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/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/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}
}
@inproceedings{DBLP:conf/ijcai/GentJN18,
author = {Ian P. Gent and
Christopher Jefferson and
Peter Nightingale},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Complexity of n-Queens Completion (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5608--5611},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/794},
doi = {10.24963/IJCAI.2018/794},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GentJN18.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/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}
}
@article{DBLP:journals/aicom/CaldwellGN17,
author = {James L. Caldwell and
Ian P. Gent and
Peter Nightingale},
title = {Generalized support and formal development of constraint propagators},
journal = {{AI} Commun.},
volume = {30},
number = {5},
pages = {325--346},
year = {2017},
url = {https://doi.org/10.3233/AIC-170740},
doi = {10.3233/AIC-170740},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/CaldwellGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GentJN17,
author = {Ian P. Gent and
Christopher Jefferson and
Peter Nightingale},
title = {Complexity of n-Queens Completion},
journal = {J. Artif. Intell. Res.},
volume = {59},
pages = {815--848},
year = {2017},
url = {https://doi.org/10.1613/jair.5512},
doi = {10.1613/JAIR.5512},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GentJN17.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/NightingaleR16,
author = {Peter Nightingale and
Andrea Rendl},
title = {Essence' Description},
journal = {CoRR},
volume = {abs/1601.02865},
year = {2016},
url = {http://arxiv.org/abs/1601.02865},
eprinttype = {arXiv},
eprint = {1601.02865},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NightingaleR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jintseq/GentKKLN15,
author = {Ian P. Gent and
Sergey Kitaev and
Alexander Konovalov and
Steve Linton and
Peter Nightingale},
title = {S-Crucial and Bicrucial Permutations with Respect to Squares},
journal = {J. Integer Seq.},
volume = {18},
number = {6},
pages = {15.6.5},
year = {2015},
url = {https://cs.uwaterloo.ca/journals/JIS/VOL18/Kitaev/kitaev10.html},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jintseq/GentKKLN15.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}
}
@article{DBLP:journals/corr/CaldwellGN15,
author = {James L. Caldwell and
Ian P. Gent and
Peter Nightingale},
title = {Generalized Support and Formal Development of Constraint Propagators},
journal = {CoRR},
volume = {abs/1504.05846},
year = {2015},
url = {http://arxiv.org/abs/1504.05846},
eprinttype = {arXiv},
eprint = {1504.05846},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaldwellGN15.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/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/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}
}
@inproceedings{DBLP:conf/ijcai/JeffersonN13,
author = {Christopher Jefferson and
Peter Nightingale},
editor = {Francesca Rossi},
title = {Extending Simple Tabular Reduction with Short Supports},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {573--579},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6901},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/JeffersonN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nightingale13,
author = {Peter Nightingale},
editor = {Francesca Rossi},
title = {The Extended Global Cardinality Constraint: An Empirical Survey: Extended
Abstract},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {3171--3174},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6692},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Nightingale13.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}
}
@article{DBLP:journals/ai/Nightingale11,
author = {Peter Nightingale},
title = {The extended global cardinality constraint: An empirical survey},
journal = {Artif. Intell.},
volume = {175},
number = {2},
pages = {586--614},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.10.005},
doi = {10.1016/J.ARTINT.2010.10.005},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Nightingale11.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/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/ai/JeffersonMNP10,
author = {Christopher Jefferson and
Neil C. A. Moore and
Peter Nightingale and
Karen E. Petrie},
title = {Implementing logical connectives in constraint programming},
journal = {Artif. Intell.},
volume = {174},
number = {16-17},
pages = {1407--1429},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.07.001},
doi = {10.1016/J.ARTINT.2010.07.001},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JeffersonMNP10.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}
}
@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/constraints/Nightingale09,
author = {Peter Nightingale},
title = {Non-binary quantified {CSP:} algorithms and modelling},
journal = {Constraints An Int. J.},
volume = {14},
number = {4},
pages = {539--581},
year = {2009},
url = {https://doi.org/10.1007/s10601-009-9068-1},
doi = {10.1007/S10601-009-9068-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Nightingale09.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/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}
}
@article{DBLP:journals/ai/GentNRS08,
author = {Ian P. Gent and
Peter Nightingale and
Andrew G. D. Rowley and
Kostas Stergiou},
title = {Solving quantified constraint satisfaction problems},
journal = {Artif. Intell.},
volume = {172},
number = {6-7},
pages = {738--771},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2007.11.003},
doi = {10.1016/J.ARTINT.2007.11.003},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GentNRS08.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}
}
@phdthesis{DBLP:phd/ethos/Nightingale07,
author = {Peter William Nightingale},
title = {Consistency and the Quantified Constraint Satisfaction Problem},
school = {University of St Andrews, {UK}},
year = {2007},
url = {https://hdl.handle.net/10023/759},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Nightingale07.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}
}
@article{DBLP:journals/jar/FrischPDN05,
author = {Alan M. Frisch and
Timothy J. Peugniez and
Anthony J. Doggett and
Peter Nightingale},
title = {Solving Non-Boolean Satisfiability Problems with Stochastic Local
Search: {A} Comparison of Encodings},
journal = {J. Autom. Reason.},
volume = {35},
number = {1-3},
pages = {143--179},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9011-0},
doi = {10.1007/S10817-005-9011-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FrischPDN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Nightingale05,
author = {Peter Nightingale},
editor = {Peter van Beek},
title = {Consistency for Quantified Constraint Satisfaction Problems},
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 = {792--796},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_66},
doi = {10.1007/11564751\_66},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Nightingale05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GentNS05,
author = {Ian P. Gent and
Peter Nightingale and
Kostas Stergiou},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {QCSP-Solve: {A} Solver for Quantified Constraint Satisfaction Problems},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {138--143},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0754.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GentNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentNR04,
author = {Ian P. Gent and
Peter Nightingale and
Andrew G. D. Rowley},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Encoding Quantified CSPs as Quantified Boolean Formulae},
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 = {176--180},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GentNR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BateMN03,
author = {Iain Bate and
John A. McDermid and
Peter Nightingale},
title = {Establishing timing requirements for control loops in real-time systems},
journal = {Microprocess. Microsystems},
volume = {27},
number = {4},
pages = {159--169},
year = {2003},
url = {https://doi.org/10.1016/S0141-9331(03)00015-2},
doi = {10.1016/S0141-9331(03)00015-2},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BateMN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BateNC03,
author = {Iain Bate and
Peter Nightingale and
Anton Cervin},
title = {Establishing Timing Requirements and Control Attributes for Control
Loops in Real-Time Systems},
booktitle = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
July 2003, Porto, Portugal, Proceedings},
pages = {121},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EMRTS.2003.1212735},
doi = {10.1109/EMRTS.2003.1212735},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BateNC03.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:46 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:
