BibTeX records: Ian P. Gent

download as .bib file

@article{DBLP:journals/corr/abs-1906-12314,
  author    = {Charlie Blake and
               Ian P. Gent},
  title     = {The Winnability of Klondike and Many Other Single-Player Card Games},
  journal   = {CoRR},
  volume    = {abs/1906.12314},
  year      = {2019},
  url       = {http://arxiv.org/abs/1906.12314},
  archivePrefix = {arXiv},
  eprint    = {1906.12314},
  timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1906-12314},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13430,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {CSPLib: Twenty Years On},
  journal   = {CoRR},
  volume    = {abs/1909.13430},
  year      = {2019},
  url       = {http://arxiv.org/abs/1909.13430},
  archivePrefix = {arXiv},
  eprint    = {1909.13430},
  timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1909-13430},
  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   = {{TPLP}},
  volume    = {18},
  number    = {5-6},
  pages     = {725--758},
  year      = {2018},
  url       = {https://doi.org/10.1017/S1471068418000340},
  doi       = {10.1017/S1471068418000340},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/GentMNMPMU18},
  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},
  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},
  pages     = {3--12},
  year      = {2018},
  crossref  = {DBLP:conf/cp/2018},
  url       = {https://doi.org/10.1007/978-3-319-98334-9\_1},
  doi       = {10.1007/978-3-319-98334-9\_1},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AkgunGJMNS18},
  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},
  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},
  pages     = {727--736},
  year      = {2018},
  crossref  = {DBLP:conf/cp/2018},
  url       = {https://doi.org/10.1007/978-3-319-98334-9\_46},
  doi       = {10.1007/978-3-319-98334-9\_46},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AkgunGJMN18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/ijcai/2018},
  url       = {https://doi.org/10.24963/ijcai.2018/173},
  doi       = {10.24963/ijcai.2018/173},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/AkgunAGJMNSSW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GentJN18,
  author    = {Ian P. Gent and
               Christopher Jefferson and
               Peter Nightingale},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/ijcai/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/bib/conf/ijcai/GentJN18},
  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},
  archivePrefix = {arXiv},
  eprint    = {1803.10981},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-10981},
  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 = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/NightingaleAGJM17},
  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, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/CaldwellGN17},
  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/bib/journals/jair/GentJN17},
  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},
  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},
  pages     = {3--12},
  year      = {2016},
  crossref  = {DBLP:conf/cp/2016},
  url       = {https://doi.org/10.1007/978-3-319-44953-1\_1},
  doi       = {10.1007/978-3-319-44953-1\_1},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AkgunGJMN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HongCGKT15,
  author    = {Neil P. Chue Hong and
               Tom Crick and
               Ian P. Gent and
               Lars Kotthoff and
               Kenji Takeda},
  title     = {Top Tips to Make Your Research Irreproducible},
  journal   = {CoRR},
  volume    = {abs/1504.00062},
  year      = {2015},
  url       = {http://arxiv.org/abs/1504.00062},
  archivePrefix = {arXiv},
  eprint    = {1504.00062},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HongCGKT15},
  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},
  archivePrefix = {arXiv},
  eprint    = {1504.05846},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CaldwellGN15},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/GentJLMN14},
  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},
  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 = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/KelseyKJLMNG14},
  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},
  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},
  pages     = {356--365},
  year      = {2014},
  crossref  = {DBLP:conf/cp/2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7\_27},
  doi       = {10.1007/978-3-319-10428-7\_27},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentHJKMNN14},
  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},
  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},
  pages     = {590--605},
  year      = {2014},
  crossref  = {DBLP:conf/cp/2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7\_43},
  doi       = {10.1007/978-3-319-10428-7\_43},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/NightingaleAGJM14},
  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},
  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)},
  pages     = {3--8},
  year      = {2014},
  crossref  = {DBLP:conf/ecai/2014},
  url       = {https://doi.org/10.3233/978-1-61499-419-0-3},
  doi       = {10.3233/978-1-61499-419-0-3},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/AkgunGJMN14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/GentK14,
  author    = {Ian P. Gent and
               Lars Kotthoff},
  title     = {Recomputation.org: Experiences of Its First Year and Lessons Learned},
  booktitle = {Proceedings of the 7th {IEEE/ACM} International Conference on Utility
               and Cloud Computing, {UCC} 2014, London, United Kingdom, December
               8-11, 2014},
  pages     = {968--973},
  year      = {2014},
  crossref  = {DBLP:conf/ucc/2014},
  url       = {https://doi.org/10.1109/UCC.2014.158},
  doi       = {10.1109/UCC.2014.158},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ucc/GentK14},
  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},
  archivePrefix = {arXiv},
  eprint    = {1402.0559},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/NightingaleGJM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArabasBGGHHHKKMPPRR14,
  author    = {Sylwester Arabas and
               Michael R. Bareford and
               Ian P. Gent and
               Benjamin M. Gorman and
               Masih Hajiarabderkani and
               Tristan Henderson and
               Luke Hutton and
               Alexander Konovalov and
               Lars Kotthoff and
               Ciaran McCreesh and
               Ruma R. Paul and
               Karen E. Petrie and
               Abdul Razaq and
               Dani{\"{e}}l Reijsbergen},
  title     = {An Open and Reproducible Paper on Openness and Reproducibility of
               Papers in Computational Science},
  journal   = {CoRR},
  volume    = {abs/1408.2123},
  year      = {2014},
  url       = {http://arxiv.org/abs/1408.2123},
  archivePrefix = {arXiv},
  eprint    = {1408.2123},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ArabasBGGHHHKKMPPRR14},
  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 = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/NightingaleGJM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Gent13,
  author    = {Ian P. Gent},
  title     = {Optimal Implementation of Watched Literals and More General Techniques},
  journal   = {J. Artif. Intell. Res.},
  volume    = {48},
  pages     = {231--251},
  year      = {2013},
  url       = {https://doi.org/10.1613/jair.4016},
  doi       = {10.1613/jair.4016},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/Gent13},
  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},
  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},
  pages     = {107--116},
  year      = {2013},
  crossref  = {DBLP:conf/cp/2013},
  url       = {https://doi.org/10.1007/978-3-642-40627-0\_11},
  doi       = {10.1007/978-3-642-40627-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AkgunFGHJKMN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3674,
  author    = {Ian P. Gent},
  title     = {The Recomputation Manifesto},
  journal   = {CoRR},
  volume    = {abs/1304.3674},
  year      = {2013},
  url       = {http://arxiv.org/abs/1304.3674},
  archivePrefix = {arXiv},
  eprint    = {1304.3674},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1304-3674},
  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/bib/journals/aicom/GentMM12},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/KotthoffGM12},
  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},
  archivePrefix = {arXiv},
  eprint    = {1209.3916},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1209-3916},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentK11,
  author    = {Ian P. Gent and
               Lars Kotthoff},
  title     = {Reliability of Computational Experiments on Virtualised Hardware},
  booktitle = {{AI} for Data Center Management and Cloud Computing, Papers from the
               2011 {AAAI} Workshop, San Francisco, California, USA, August 7, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaai/2011cloud},
  url       = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3806},
  timestamp = {Tue, 21 Feb 2012 17:43:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Gent11,
  author    = {Ian P. Gent},
  title     = {Propagation in Constraints: How One Thing Leads to Another},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems - 8th International Conference,
               {CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings},
  pages     = {2},
  year      = {2011},
  crossref  = {DBLP:conf/cpaior/2011},
  url       = {https://doi.org/10.1007/978-3-642-21311-3\_2},
  doi       = {10.1007/978-3-642-21311-3\_2},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/Gent11},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/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/bib/conf/ijcai/NightingaleGJM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/KotthoffGM11,
  author    = {Lars Kotthoff and
               Ian P. Gent and
               Ian Miguel},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/socs/2011},
  url       = {http://www.aaai.org/ocs/index.php/SOCS/SOCS11/paper/view/4006},
  timestamp = {Thu, 07 Jul 2011 18:00:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/socs/KotthoffGM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0240,
  author    = {Ian P. Gent and
               Josh Singer and
               Alan Smaill},
  title     = {Backbone Fragility and the Local Search Cost Peak},
  journal   = {CoRR},
  volume    = {abs/1106.0240},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.0240},
  archivePrefix = {arXiv},
  eprint    = {1106.0240},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-0240},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-6288,
  author    = {Ian P. Gent and
               Lars Kotthoff},
  title     = {Reliability of Computational Experiments on Virtualised Hardware},
  journal   = {CoRR},
  volume    = {abs/1110.6288},
  year      = {2011},
  url       = {http://arxiv.org/abs/1110.6288},
  archivePrefix = {arXiv},
  eprint    = {1110.6288},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1110-6288},
  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},
  archivePrefix = {arXiv},
  eprint    = {1110.6290},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1110-6290},
  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},
  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},
  pages     = {206--220},
  year      = {2010},
  crossref  = {DBLP:conf/cp/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/bib/conf/cp/GentJMN10},
  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},
  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},
  pages     = {873--878},
  year      = {2010},
  crossref  = {DBLP:conf/ecai/2010},
  url       = {https://doi.org/10.3233/978-1-60750-606-5-873},
  doi       = {10.3233/978-1-60750-606-5-873},
  timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/GentJKMMNP10},
  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},
  title     = {Lazy Explanations for Constraint Propagators},
  booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
               {PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  pages     = {217--233},
  year      = {2010},
  crossref  = {DBLP:conf/padl/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/bib/conf/padl/GentMM10},
  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},
  archivePrefix = {arXiv},
  eprint    = {1005.3502},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1005-3502},
  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},
  archivePrefix = {arXiv},
  eprint    = {1008.4326},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1008-4326},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/sara/2009},
  url       = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/818},
  timestamp = {Sun, 09 May 2010 10:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/GentMMNH09},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/sara/2009},
  url       = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/823},
  timestamp = {Sun, 09 May 2010 10:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/RendlMGG09},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/sara/2009},
  url       = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/824},
  timestamp = {Sun, 09 May 2010 10:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/RendlMGJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2009,
  editor    = {Ian P. Gent},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04244-7},
  doi       = {10.1007/978-3-642-04244-7},
  isbn      = {978-3-642-04243-0},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2009},
  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/bib/journals/ai/GentNRS08},
  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/bib/journals/ai/GentMN08},
  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/bib/journals/aicom/GentJKLMNST07},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/aaai/2007},
  url       = {http://www.aaai.org/Library/AAAI/2007/aaai07-029.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentJMN07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLPR07,
  author    = {Ian P. Gent and
               Tom Kelsey and
               Stephen A. Linton and
               J. Pearson and
               Colva M. Roney{-}Dougal},
  title     = {Groupoids and Conditional Symmetry},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
               International Conference, {CP} 2007, Providence, RI, USA, September
               23-27, 2007, Proceedings},
  pages     = {823--830},
  year      = {2007},
  crossref  = {DBLP:conf/cp/2007},
  url       = {https://doi.org/10.1007/978-3-540-74970-7\_60},
  doi       = {10.1007/978-3-540-74970-7\_60},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentKLPR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GentMR07,
  author    = {Ian P. Gent and
               Ian Miguel and
               Andrea Rendl},
  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},
  pages     = {184--199},
  year      = {2007},
  crossref  = {DBLP:conf/sara/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/bib/conf/sara/GentMR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentJM06,
  author    = {Ian P. Gent and
               Christopher Jefferson and
               Ian Miguel},
  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},
  pages     = {182--197},
  year      = {2006},
  crossref  = {DBLP:conf/cp/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/bib/conf/cp/GentJM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentJM06,
  author    = {Ian P. Gent and
               Christopher Jefferson and
               Ian Miguel},
  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},
  pages     = {98--102},
  year      = {2006},
  crossref  = {DBLP:conf/ecai/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/bib/conf/ecai/GentJM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/GentPP06,
  author    = {Ian P. Gent and
               Karen E. Petrie and
               Jean{-}Fran{\c{c}}ois Puget},
  title     = {Symmetry in Constraint Programming},
  booktitle = {Handbook of Constraint Programming},
  pages     = {329--376},
  year      = {2006},
  crossref  = {DBLP:reference/fai/2},
  url       = {https://doi.org/10.1016/S1574-6526(06)80014-3},
  doi       = {10.1016/S1574-6526(06)80014-3},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/fai/GentPP06},
  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},
  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},
  pages     = {256--270},
  year      = {2005},
  crossref  = {DBLP:conf/cp/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/bib/conf/cp/GentKLMMS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLR05,
  author    = {Ian P. Gent and
               Tom Kelsey and
               Steve Linton and
               Colva M. Roney{-}Dougal},
  title     = {Symmetry and Consistency},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
               International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
               Proceedings},
  pages     = {271--285},
  year      = {2005},
  crossref  = {DBLP:conf/cp/2005},
  url       = {https://doi.org/10.1007/11564751\_22},
  doi       = {10.1007/11564751\_22},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentKLR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GentNS05,
  author    = {Ian P. Gent and
               Peter Nightingale and
               Kostas Stergiou},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/ijcai/2005},
  url       = {http://ijcai.org/Proceedings/05/Papers/0754.pdf},
  timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/GentNS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GentR05,
  author    = {Ian P. Gent and
               Andrew G. D. Rowley},
  title     = {Local and Global Complete Solution Learning Methods for {QBF}},
  booktitle = {Theory and Applications of Satisfiability Testing, 8th International
               Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  pages     = {91--106},
  year      = {2005},
  crossref  = {DBLP:conf/sat/2005},
  url       = {https://doi.org/10.1007/11499107\_7},
  doi       = {10.1007/11499107\_7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/GentR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SmithPG04,
  author    = {Barbara M. Smith and
               Karen E. Petrie and
               Ian P. Gent},
  title     = {Models and Symmetry Breaking for 'Peaceable Armies of Queens'},
  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},
  pages     = {271--286},
  year      = {2004},
  crossref  = {DBLP:conf/cpaior/2004},
  url       = {https://doi.org/10.1007/978-3-540-24664-0\_19},
  doi       = {10.1007/978-3-540-24664-0\_19},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/SmithPG04},
  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},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/ecai/2004},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/GentNR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Roney-DougalGKL04,
  author    = {Colva M. Roney{-}Dougal and
               Ian P. Gent and
               Tom Kelsey and
               Steve Linton},
  title     = {Tractable Symmetry Breaking Using Restricted Search Trees},
  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     = {211--215},
  year      = {2004},
  crossref  = {DBLP:conf/ecai/2004},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Roney-DougalGKL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentHKL03,
  author    = {Ian P. Gent and
               Warwick Harvey and
               Tom Kelsey and
               Steve Linton},
  title     = {Generic {SBDD} Using Computational Group Theory},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
               International Conference, {CP} 2003, Kinsale, Ireland, September 29
               - October 3, 2003, Proceedings},
  pages     = {333--347},
  year      = {2003},
  crossref  = {DBLP:conf/cp/2003},
  url       = {https://doi.org/10.1007/978-3-540-45193-8\_23},
  doi       = {10.1007/978-3-540-45193-8\_23},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentHKL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentHRS03,
  author    = {Ian P. Gent and
               Holger H. Hoos and
               Andrew G. D. Rowley and
               Kevin Smyth},
  title     = {Using Stochastic Local Search to Solve Quantified Boolean Formulae},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
               International Conference, {CP} 2003, Kinsale, Ireland, September 29
               - October 3, 2003, Proceedings},
  pages     = {348--362},
  year      = {2003},
  crossref  = {DBLP:conf/cp/2003},
  url       = {https://doi.org/10.1007/978-3-540-45193-8\_24},
  doi       = {10.1007/978-3-540-45193-8\_24},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentHRS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentPSW03,
  author    = {Ian P. Gent and
               Patrick Prosser and
               Barbara M. Smith and
               Wu Wei},
  title     = {Supertree Construction with Constraint Programming},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
               International Conference, {CP} 2003, Kinsale, Ireland, September 29
               - October 3, 2003, Proceedings},
  pages     = {837--841},
  year      = {2003},
  crossref  = {DBLP:conf/cp/2003},
  url       = {https://doi.org/10.1007/978-3-540-45193-8\_63},
  doi       = {10.1007/978-3-540-45193-8\_63},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentPSW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GentGNRT03,
  author    = {Ian P. Gent and
               Enrico Giunchiglia and
               Massimo Narizzano and
               Andrew G. D. Rowley and
               Armando Tacchella},
  title     = {Watched Data Structures for {QBF} Solvers},
  booktitle = {Theory and Applications of Satisfiability Testing, 6th International
               Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
               Selected Revised Papers},
  pages     = {25--36},
  year      = {2003},
  crossref  = {DBLP:conf/sat/2003},
  url       = {https://doi.org/10.1007/978-3-540-24605-3\_3},
  doi       = {10.1007/978-3-540-24605-3\_3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/GentGNRT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GentW02,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Satisfiability in the Year 2000},
  journal   = {J. Autom. Reasoning},
  volume    = {28},
  number    = {2},
  pages     = {99},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1015051815026},
  doi       = {10.1023/A:1015051815026},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/GentW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentHK02,
  author    = {Ian P. Gent and
               Warwick Harvey and
               Tom Kelsey},
  title     = {Groups and Constraints: Symmetry Breaking during Search},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
               International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
               2002, Proceedings},
  pages     = {415--430},
  year      = {2002},
  crossref  = {DBLP:conf/cp/2002},
  url       = {https://doi.org/10.1007/3-540-46135-3\_28},
  doi       = {10.1007/3-540-46135-3\_28},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentHK02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Gent02,
  author    = {Ian P. Gent},
  title     = {Arc Consistency in {SAT}},
  booktitle = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  pages     = {121--125},
  year      = {2002},
  crossref  = {DBLP:conf/ecai/2002},
  timestamp = {Tue, 25 Nov 2003 14:24:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Gent02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentP02,
  author    = {Ian P. Gent and
               Patrick Prosser},
  title     = {An Empirical Study of the Stable Marriage Problem with Ties and Incomplete
               Lists},
  booktitle = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  pages     = {141--145},
  year      = {2002},
  crossref  = {DBLP:conf/ecai/2002},
  timestamp = {Tue, 25 Nov 2003 14:24:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/GentP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GentMPSW01,
  author    = {Ian P. Gent and
               Ewan MacIntyre and
               Patrick Prosser and
               Barbara M. Smith and
               Toby Walsh},
  title     = {Random Constraint Satisfaction: Flaws and Structure},
  journal   = {Constraints},
  volume    = {6},
  number    = {4},
  pages     = {345--372},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1011454308633},
  doi       = {10.1023/A:1011454308633},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/GentMPSW01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CulbersonG01,
  author    = {Joseph C. Culberson and
               Ian P. Gent},
  title     = {Frozen development in graph coloring},
  journal   = {Theor. Comput. Sci.},
  volume    = {265},
  number    = {1-2},
  pages     = {227--264},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0304-3975(01)00164-5},
  doi       = {10.1016/S0304-3975(01)00164-5},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/CulbersonG01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentIMPS01,
  author    = {Ian P. Gent and
               Robert W. Irving and
               David Manlove and
               Patrick Prosser and
               Barbara M. Smith},
  title     = {A Constraint Programming Approach to the Stable Marriage Problem},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
               International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
               December 1, 2001, Proceedings},
  pages     = {225--239},
  year      = {2001},
  crossref  = {DBLP:conf/cp/2001},
  url       = {https://doi.org/10.1007/3-540-45578-7\_16},
  doi       = {10.1007/3-540-45578-7\_16},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentIMPS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentSW00,
  author    = {Ian P. Gent and
               Kostas Stergiou and
               Toby Walsh},
  title     = {Decomposable constraints},
  journal   = {Artif. Intell.},
  volume    = {123},
  number    = {1-2},
  pages     = {133--156},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0004-3702(00)00051-5},
  doi       = {10.1016/S0004-3702(00)00051-5},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/GentSW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SingerGS00,
  author    = {Josh Singer and
               Ian P. Gent and
               Alan Smaill},
  title     = {Backbone Fragility and the Local Search Cost Peak},
  journal   = {J. Artif. Intell. Res.},
  volume    = {12},
  pages     = {235--270},
  year      = {2000},
  url       = {https://doi.org/10.1613/jair.711},
  doi       = {10.1613/jair.711},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/SingerGS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GentW00,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Satisfiability in the Year 2000},
  journal   = {J. Autom. Reasoning},
  volume    = {24},
  number    = {1/2},
  pages     = {1--3},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1006338702529},
  doi       = {10.1023/A:1006338702529},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/GentW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaldwellGU00,
  author    = {James L. Caldwell and
               Ian P. Gent and
               Judith L. Underwood},
  title     = {Search algorithms in type theory},
  journal   = {Theor. Comput. Sci.},
  volume    = {232},
  number    = {1-2},
  pages     = {55--90},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0304-3975(99)00170-X},
  doi       = {10.1016/S0304-3975(99)00170-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/CaldwellGU00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SingerGS00,
  author    = {Josh Singer and
               Ian P. Gent and
               Alan Smaill},
  title     = {Local Search on Random 2+p-SAT},
  booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
               Intelligence, Berlin, Germany, August 20-25, 2000},
  pages     = {113--117},
  year      = {2000},
  crossref  = {DBLP:conf/ecai/2000},
  timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/SingerGS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentS00,
  author    = {Ian P. Gent and
               Barbara M. Smith},
  title     = {Symmetry Breaking in Constraint Programming},
  booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
               Intelligence, Berlin, Germany, August 20-25, 2000},
  pages     = {599--603},
  year      = {2000},
  crossref  = {DBLP:conf/ecai/2000},
  timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/GentS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CopeGH00,
  author    = {Michelle Cope and
               Ian P. Gent and
               Kevin Hammond},
  title     = {Parallel heuristic search in Haskell},
  booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
               (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
  pages     = {65--76},
  year      = {2000},
  crossref  = {DBLP:conf/sfp/2000},
  timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/CopeGH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentW99,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Paul R. Cohen's Empirical Methods for Artificial Intelligence},
  journal   = {Artif. Intell.},
  volume    = {113},
  number    = {1-2},
  pages     = {285--290},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0004-3702(99)00056-9},
  doi       = {10.1016/S0004-3702(99)00056-9},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/GentW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/Gent99,
  author    = {Ian P. Gent},
  title     = {A Response to "On method overfitting"},
  journal   = {J. Heuristics},
  volume    = {5},
  number    = {1},
  pages     = {109--111},
  year      = {1999},
  url       = {https://doi.org/10.1023/A:1009625526326},
  doi       = {10.1023/A:1009625526326},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/heuristics/Gent99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentW99,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Beyond {NP:} the {QSAT} phase transition},
  booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
               and Eleventh Conference on Innovative Applications of Artificial Intelligence,
               July 18-22, 1999, Orlando, Florida, {USA}},
  pages     = {648--653},
  year      = {1999},
  crossref  = {DBLP:conf/aaai/1999},
  url       = {http://www.aaai.org/Library/AAAI/1999/aaai99-092.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentHPW99,
  author    = {Ian P. Gent and
               Holger H. Hoos and
               Patrick Prosser and
               Toby Walsh},
  title     = {Morphing: Combining Structure and Randomness},
  booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
               and Eleventh Conference on Innovative Applications of Artificial Intelligence,
               July 18-22, 1999, Orlando, Florida, {USA}},
  pages     = {654--660},
  year      = {1999},
  crossref  = {DBLP:conf/aaai/1999},
  url       = {http://www.aaai.org/Library/AAAI/1999/aaai99-093.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentHPW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/GentSW99,
  author    = {Ian P. Gent and
               Kostas Stergiou and
               Toby Walsh},
  title     = {Decomposable Constraints},
  booktitle = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
               Cyprus, October 25-27, 1999, Selected Papers},
  pages     = {134--149},
  year      = {1999},
  crossref  = {DBLP:conf/compulog/1999},
  url       = {https://doi.org/10.1007/3-540-44654-0\_7},
  doi       = {10.1007/3-540-44654-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compulog/GentSW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentW99,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {CSP\({}_{\mbox{LIB}}\): {A} Benchmark Library for Constraints},
  booktitle = {Principles and Practice of Constraint Programming - CP'99, 5th International
               Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
  pages     = {480--481},
  year      = {1999},
  crossref  = {DBLP:conf/cp/1999},
  url       = {https://doi.org/10.1007/978-3-540-48085-3\_36},
  doi       = {10.1007/978-3-540-48085-3\_36},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/GentW98,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Analysis of Heuristics for Number Partitioning},
  journal   = {Computational Intelligence},
  volume    = {14},
  number    = {3},
  pages     = {430--451},
  year      = {1998},
  url       = {https://doi.org/10.1111/0824-7935.00069},
  doi       = {10.1111/0824-7935.00069},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ci/GentW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/Gent98,
  author    = {Ian P. Gent},
  title     = {Heuristic Solution of Open Bin Packing Problems},
  journal   = {J. Heuristics},
  volume    = {3},
  number    = {4},
  pages     = {299--304},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1009678411503},
  doi       = {10.1023/A:1009678411503},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/heuristics/Gent98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FrankGW98,
  author    = {Jeremy Frank and
               Ian P. Gent and
               Toby Walsh},
  title     = {Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian
               Circuit as a Case Study},
  journal   = {Inf. Process. Lett.},
  volume    = {65},
  number    = {5},
  pages     = {241--245},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0020-0190(97)00222-6},
  doi       = {10.1016/S0020-0190(97)00222-6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/FrankGW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentMPW97,
  author    = {Ian P. Gent and
               Ewan MacIntyre and
               Patrick Prosser and
               Toby Walsh},
  title     = {The Scaling of Search Cost},
  booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
               and Ninth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
               {USA}},
  pages     = {315--320},
  year      = {1997},
  crossref  = {DBLP:conf/aaai/1997},
  url       = {http://www.aaai.org/Library/AAAI/1997/aaai97-049.php},
  timestamp = {Tue, 19 Jun 2018 18:22:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentMPW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentU97,
  author    = {Ian P. Gent and
               Judith L. Underwood},
  title     = {The Logic of Search Algorithms: Theory and Applications},
  booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  pages     = {77--91},
  year      = {1997},
  crossref  = {DBLP:conf/cp/1997},
  url       = {https://doi.org/10.1007/BFb0017431},
  doi       = {10.1007/BFb0017431},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentU97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentMPW97,
  author    = {Ian P. Gent and
               Ewan MacIntyre and
               Patrick Prosser and
               Toby Walsh},
  title     = {The Constrainedness of Arc Consistency},
  booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  pages     = {327--340},
  year      = {1997},
  crossref  = {DBLP:conf/cp/1997},
  url       = {https://doi.org/10.1007/BFb0017449},
  doi       = {10.1007/BFb0017449},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentMPW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GentW97,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {From Approximate to Optimal Solutions: Constructing Pruning and Propagation
               Rules},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  pages     = {1396--1401},
  year      = {1997},
  crossref  = {DBLP:conf/ijcai/1997},
  url       = {http://ijcai.org/Proceedings/97-2/Papers/087.pdf},
  timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/GentW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentW96a,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {The Satisfiability Constraint Gap},
  journal   = {Artif. Intell.},
  volume    = {81},
  number    = {1-2},
  pages     = {59--80},
  year      = {1996},
  url       = {https://doi.org/10.1016/0004-3702(95)00047-X},
  doi       = {10.1016/0004-3702(95)00047-X},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/GentW96a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentW96,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {The {TSP} Phase Transition},
  journal   = {Artif. Intell.},
  volume    = {88},
  number    = {1-2},
  pages     = {349--358},
  year      = {1996},
  url       = {https://doi.org/10.1016/S0004-3702(96)00030-6},
  doi       = {10.1016/S0004-3702(96)00030-6},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/GentW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentMPW96,
  author    = {Ian P. Gent and
               Ewan MacIntyre and
               Patrick Prosser and
               Toby Walsh},
  title     = {The Constrainedness of Search},
  booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
               and Eighth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
               1},
  pages     = {246--252},
  year      = {1996},
  crossref  = {DBLP:conf/aaai/1996-1},
  url       = {http://www.aaai.org/Library/AAAI/1996/aaai96-037.php},
  timestamp = {Tue, 19 Jun 2018 18:21:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentMPW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ClarkFGMTW96,
  author    = {David A. Clark and
               Jeremy Frank and
               Ian P. Gent and
               Ewan MacIntyre and
               Neven Tomov and
               Toby Walsh},
  title     = {Local Search and the Number of Solutions},
  booktitle = {Proceedings of the Second International Conference on Principles and
               Practice of Constraint Programming, Cambridge, Massachusetts, USA,
               August 19-22, 1996},
  pages     = {119--133},
  year      = {1996},
  crossref  = {DBLP:conf/cp/1996},
  url       = {https://doi.org/10.1007/3-540-61551-2\_70},
  doi       = {10.1007/3-540-61551-2\_70},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/ClarkFGMTW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/gentMPSW96,
  author    = {Ian P. Gent and
               Ewan MacIntyre and
               Patrick Prosser and
               Barbara M. Smith and
               Toby Walsh},
  title     = {An Empirical Study of Dynamic Variable Ordering Heuristics for the
               Constraint Satisfaction Problem},
  booktitle = {Proceedings of the Second International Conference on Principles and
               Practice of Constraint Programming, Cambridge, Massachusetts, USA,
               August 19-22, 1996},
  pages     = {179--193},
  year      = {1996},
  crossref  = {DBLP:conf/cp/1996},
  url       = {https://doi.org/10.1007/3-540-61551-2\_74},
  doi       = {10.1007/3-540-61551-2\_74},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/gentMPSW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentW96,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Phase Transitions and Annealed Theories: Number Partitioning as a
               Case Study},
  booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  pages     = {170--174},
  year      = {1996},
  crossref  = {DBLP:conf/ecai/1996},
  timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/GentW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentMPW95,
  author    = {Ian P. Gent and
               Ewan MacIntyre and
               Patrick Prosser and
               Toby Walsh},
  title     = {Scaling Effects in the {CSP} Phase Transition},
  booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
               Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
  pages     = {70--87},
  year      = {1995},
  crossref  = {DBLP:conf/cp/1995},
  url       = {https://doi.org/10.1007/3-540-60299-2\_5},
  doi       = {10.1007/3-540-60299-2\_5},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/GentMPW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GentW94,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Easy Problems are Sometimes Hard},
  journal   = {Artif. Intell.},
  volume    = {70},
  number    = {1-2},
  pages     = {335--345},
  year      = {1994},
  url       = {https://doi.org/10.1016/0004-3702(94)90109-0},
  doi       = {10.1016/0004-3702(94)90109-0},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/GentW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GentW94,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {The {SAT} Phase Transition},
  booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
               Amsterdam, The Netherlands, August 8-12, 1994},
  pages     = {105--109},
  year      = {1994},
  crossref  = {DBLP:conf/ecai/1994},
  timestamp = {Wed, 31 Jul 2019 08:45:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/GentW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GentW94,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {The Hardest Random {SAT} Problems},
  booktitle = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference
               on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September
               18-23, 1994, Proceedings},
  pages     = {355--366},
  year      = {1994},
  crossref  = {DBLP:conf/ki/1994},
  url       = {https://doi.org/10.1007/3-540-58467-6\_31},
  doi       = {10.1007/3-540-58467-6\_31},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/GentW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Gent93,
  author    = {Ian Philip Gent},
  title     = {Analytic proof systems for classical and modal logics of restricted
               quantification},
  school    = {University of Warwick, Coventry, {UK}},
  year      = {1993},
  url       = {http://wrap.warwick.ac.uk/60928/},
  timestamp = {Wed, 05 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ethos/Gent93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GentW93,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {An Empirical Analysis of Search in {GSAT}},
  journal   = {J. Artif. Intell. Res.},
  volume    = {1},
  pages     = {47--59},
  year      = {1993},
  url       = {https://doi.org/10.1613/jair.7},
  doi       = {10.1613/jair.7},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/GentW93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gent93,
  author    = {Ian P. Gent},
  title     = {Theory matrices (for modal logics) Using alphabetical monotonicity},
  journal   = {Studia Logica},
  volume    = {52},
  number    = {2},
  pages     = {233--258},
  year      = {1993},
  url       = {https://doi.org/10.1007/BF01058390},
  doi       = {10.1007/BF01058390},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/Gent93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GentW93,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {Towards an Understanding of Hill-Climbing Procedures for {SAT}},
  booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
               Washington, DC, USA, July 11-15, 1993},
  pages     = {28--33},
  year      = {1993},
  crossref  = {DBLP:conf/aaai/1993},
  url       = {http://www.aaai.org/Library/AAAI/1993/aaai93-005.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GentW93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-9309101,
  author    = {Ian P. Gent and
               Toby Walsh},
  title     = {An Empirical Analysis of Search in {GSAT}},
  journal   = {CoRR},
  volume    = {cs.AI/9309101},
  year      = {1993},
  url       = {http://arxiv.org/abs/cs.AI/9309101},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-9309101},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gent92,
  author    = {Ian P. Gent},
  title     = {A Sequent- or Tableau-style System for Lewis's Counterfactual Logic
               {VC}},
  journal   = {Notre Dame Journal of Formal Logic},
  volume    = {33},
  number    = {3},
  pages     = {369--382},
  year      = {1992},
  url       = {https://doi.org/10.1305/ndjfl/1093634402},
  doi       = {10.1305/ndjfl/1093634402},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ndjfl/Gent92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2018,
  editor    = {John N. Hooker},
  title     = {Principles and Practice of Constraint Programming - 24th International
               Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11008},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98334-9},
  doi       = {10.1007/978-3-319-98334-9},
  isbn      = {978-3-319-98333-2},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2018,
  editor    = {J{\'{e}}r{\^{o}}me Lang},
  title     = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden},
  publisher = {ijcai.org},
  year      = {2018},
  url       = {http://www.ijcai.org/proceedings/2018/},
  isbn      = {978-0-9992411-2-7},
  timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2016,
  editor    = {Michel Rueher},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44953-1},
  doi       = {10.1007/978-3-319-44953-1},
  isbn      = {978-3-319-44952-4},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2014,
  editor    = {Barry O'Sullivan},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7},
  doi       = {10.1007/978-3-319-10428-7},
  isbn      = {978-3-319-10427-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2014,
  editor    = {Torsten Schaub and
               Gerhard Friedrich and
               Barry O'Sullivan},
  title     = {{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},
  publisher = {{IOS} Press},
  year      = {2014},
  isbn      = {978-1-61499-418-3},
  timestamp = {Thu, 11 Sep 2014 15:40:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ucc/2014,
  title     = {Proceedings of the 7th {IEEE/ACM} International Conference on Utility
               and Cloud Computing, {UCC} 2014, London, United Kingdom, December
               8-11, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7027114/proceeding},
  isbn      = {978-1-4799-7881-6},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ucc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2013,
  editor    = {Christian Schulte},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40627-0},
  doi       = {10.1007/978-3-642-40627-0},
  isbn      = {978-3-642-40626-3},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2011cloud,
  title     = {{AI} for Data Center Management and Cloud Computing, Papers from the
               2011 {AAAI} Workshop, San Francisco, California, USA, August 7, 2011},
  series    = {{AAAI} Workshops},
  volume    = {{WS-11-08}},
  publisher = {{AAAI}},
  year      = {2011},
  url       = {http://www.aaai.org/Library/Workshops/ws11-08.php},
  timestamp = {Tue, 21 Feb 2012 17:43:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2011cloud},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2011,
  editor    = {Tobias Achterberg and
               J. Christopher Beck},
  title     = {Integration of {AI} and {OR} Techniques in Constraint Programming
               for Combinatorial Optimization Problems - 8th International Conference,
               {CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6697},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21311-3},
  doi       = {10.1007/978-3-642-21311-3},
  isbn      = {978-3-642-21310-6},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  publisher = {{IJCAI/AAAI}},
  year      = {2011},
  url       = {http://ijcai.org/proceedings/2011},
  isbn      = {978-1-57735-516-8},
  timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2011,
  editor    = {Daniel Borrajo and
               Maxim Likhachev and
               Carlos {Linares L{\'{o}}pez}},
  title     = {Proceedings of the Fourth Annual Symposium on Combinatorial Search,
               {SOCS} 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011},
  publisher = {{AAAI} Press},
  year      = {2011},
  timestamp = {Thu, 07 Jul 2011 18:00:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/socs/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2010,
  editor    = {David Cohen},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9},
  doi       = {10.1007/978-3-642-15396-9},
  isbn      = {978-3-642-15395-2},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2010,
  editor    = {Helder Coelho and
               Rudi Studer and
               Michael J. Wooldridge},
  title     = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {215},
  publisher = {{IOS} Press},
  year      = {2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  isbn      = {978-1-60750-605-8},
  timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2010,
  editor    = {Manuel Carro and
               Ricardo Pe{\~{n}}a},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11503-5},
  doi       = {10.1007/978-3-642-11503-5},
  isbn      = {978-3-642-11502-8},
  timestamp = {Sat, 19 Oct 2019 20:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2009,
  editor    = {Vadim Bulitko and
               J. Christopher Beck},
  title     = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
               {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher = {{AAAI}},
  year      = {2009},
  timestamp = {Sun, 09 May 2010 10:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2007,
  title     = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  publisher = {{AAAI} Press},
  year      = {2007},
  isbn      = {978-1-57735-323-2},
  timestamp = {Wed, 05 Sep 2007 08:24:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2007,
  editor    = {Christian Bessiere},
  title     = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
               International Conference, {CP} 2007, Providence, RI, USA, September
               23-27, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4741},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74970-7},
  doi       = {10.1007/978-3-540-74970-7},
  isbn      = {978-3-540-74969-1},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2007},
  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 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sara/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2006,
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11889205},
  doi       = {10.1007/11889205},
  isbn      = {3-540-46267-8},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2006,
  editor    = {Gerhard Brewka and
               Silvia Coradeschi and
               Anna Perini and
               Paolo Traverso},
  title     = {{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},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {1-58603-642-4},
  timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/fai/2,
  editor    = {Francesca Rossi and
               Peter van Beek and
               Toby Walsh},
  title     = {Handbook of Constraint Programming},
  series    = {Foundations of Artificial Intelligence},
  volume    = {2},
  publisher = {Elsevier},
  year      = {2006},
  url       = {http://www.sciencedirect.com/science/bookseries/15746526/2},
  isbn      = {978-0-444-52726-4},
  timestamp = {Fri, 16 Oct 2015 09:55:56 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/fai/2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2005,
  editor    = {Peter van Beek},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11564751},
  doi       = {10.1007/11564751},
  isbn      = {3-540-29238-1},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2005,
  editor    = {Leslie Pack Kaelbling and
               Alessandro Saffiotti},
  title     = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  publisher = {Professional Book Center},
  year      = {2005},
  url       = {http://ijcai.org/proceedings/2005},
  isbn      = {0938075934},
  timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2005,
  editor    = {Fahiem Bacchus and
               Toby Walsh},
  title     = {Theory and Applications of Satisfiability Testing, 8th International
               Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3569},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137280},
  doi       = {10.1007/b137280},
  isbn      = {3-540-26276-8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2004,
  editor    = {Jean{-}Charles R{\'{e}}gin and
               Michel Rueher},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96957},
  doi       = {10.1007/b96957},
  isbn      = {3-540-21836-X},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2004,
  editor    = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
               Lorenza Saitta},
  title     = {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},
  publisher = {{IOS} Press},
  year      = {2004},
  isbn      = {1-58603-452-9},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2003,
  editor    = {Francesca Rossi},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13743},
  doi       = {10.1007/b13743},
  isbn      = {3-540-20202-1},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2003,
  editor    = {Enrico Giunchiglia and
               Armando Tacchella},
  title     = {Theory and Applications of Satisfiability Testing, 6th International
               Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
               Selected Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2919},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95238},
  doi       = {10.1007/b95238},
  isbn      = {3-540-20851-8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2002,
  editor    = {Pascal Van Hentenryck},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46135-3},
  doi       = {10.1007/3-540-46135-3},
  isbn      = {3-540-44120-4},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2002,
  editor    = {Frank van Harmelen},
  title     = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  publisher = {{IOS} Press},
  year      = {2002},
  timestamp = {Tue, 25 Nov 2003 14:24:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2001,
  editor    = {Toby Walsh},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45578-7},
  doi       = {10.1007/3-540-45578-7},
  isbn      = {3-540-42863-1},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2000,
  editor    = {Werner Horn},
  title     = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
               Intelligence, Berlin, Germany, August 20-25, 2000},
  publisher = {{IOS} Press},
  year      = {2000},
  timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2000,
  editor    = {Stephen Gilmore},
  title     = {Selected papers from the 2nd Scottish Functional Programming Workshop
               (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
  series    = {Trends in Functional Programming},
  volume    = {2},
  publisher = {Intellect},
  year      = {2000},
  isbn      = {1-84150-058-5},
  timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1999,
  editor    = {Jim Hendler and
               Devika Subramanian},
  title     = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
               and Eleventh Conference on Innovative Applications of Artificial Intelligence,
               July 18-22, 1999, Orlando, Florida, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1999},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai99.php},
  isbn      = {0-262-51106-1},
  timestamp = {Thu, 01 Dec 2011 17:16:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compulog/1999,
  editor    = {Krzysztof R. Apt and
               Antonis C. Kakas and
               Eric Monfroy and
               Francesca Rossi},
  title     = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
               Cyprus, October 25-27, 1999, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1865},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44654-0},
  doi       = {10.1007/3-540-44654-0},
  isbn      = {3-540-67885-9},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compulog/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1999,
  editor    = {Joxan Jaffar},
  title     = {Principles and Practice of Constraint Programming - CP'99, 5th International
               Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1713},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/b72297},
  doi       = {10.1007/b72297},
  isbn      = {3-540-66626-5},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1997,
  editor    = {Benjamin Kuipers and
               Bonnie L. Webber},
  title     = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
               and Ninth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
               {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1997},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai97.php},
  isbn      = {0-262-51095-2},
  timestamp = {Tue, 19 Jun 2018 18:22:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1997,
  editor    = {Gert Smolka},
  title     = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1330},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0017424},
  doi       = {10.1007/BFb0017424},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1997,
  title     = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1997},
  url       = {http://ijcai.org/proceedings/1997-1},
  timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1996-1,
  editor    = {William J. Clancey and
               Daniel S. Weld},
  title     = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
               and Eighth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
               1},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1996},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai96.php},
  isbn      = {0-262-51091-X},
  timestamp = {Tue, 19 Jun 2018 18:21:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1996-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1996,
  editor    = {Eugene C. Freuder},
  title     = {Proceedings of the Second International Conference on Principles and
               Practice of Constraint Programming, Cambridge, Massachusetts, USA,
               August 19-22, 1996},
  series    = {Lecture Notes in Computer Science},
  volume    = {1118},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61551-2},
  doi       = {10.1007/3-540-61551-2},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/1996,
  editor    = {Wolfgang Wahlster},
  title     = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  publisher = {John Wiley and Sons, Chichester},
  year      = {1996},
  timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1995,
  editor    = {Ugo Montanari and
               Francesca Rossi},
  title     = {Principles and Practice of Constraint Programming - CP'95, First International
               Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {976},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60299-2},
  doi       = {10.1007/3-540-60299-2},
  isbn      = {3-540-60299-2},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/1994,
  editor    = {Anthony G. Cohn},
  title     = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
               Amsterdam, The Netherlands, August 8-12, 1994},
  publisher = {John Wiley and Sons, Chichester},
  year      = {1994},
  timestamp = {Wed, 31 Jul 2019 08:45:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1994,
  editor    = {Bernhard Nebel and
               Leonie S. Dreschler{-}Fischer},
  title     = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference
               on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September
               18-23, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {861},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58467-6},
  doi       = {10.1007/3-540-58467-6},
  isbn      = {3-540-58467-6},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1993,
  editor    = {Richard Fikes and
               Wendy G. Lehnert},
  title     = {Proceedings of the 11th National Conference on Artificial Intelligence.
               Washington, DC, USA, July 11-15, 1993},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1993},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai93.php},
  isbn      = {0-262-51071-5},
  timestamp = {Thu, 01 Dec 2011 17:16:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics