BibTeX records: Richard J. Wallace

download as .bib file

@inproceedings{DBLP:conf/aics/Wallace22,
  author       = {Richard J. Wallace},
  editor       = {Luca Longo and
                  Ruairi O'Reilly},
  title        = {Explaining the Effects of Preprocessing on Constraint Satisfaction
                  Search},
  booktitle    = {Artificial Intelligence and Cognitive Science - 30th Irish Conference,
                  {AICS} 2022, Munster, Ireland, December 8-9, 2022, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1662},
  pages        = {423--436},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26438-2\_33},
  doi          = {10.1007/978-3-031-26438-2\_33},
  timestamp    = {Sat, 13 May 2023 01:07:18 +0200},
  biburl       = {https://dblp.org/rec/conf/aics/Wallace22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ws/Wallace21,
  author       = {Richard J. Wallace},
  title        = {Artificial Intelligence / Human Intelligence - An Indissoluble Nexus},
  publisher    = {WorldScientific},
  year         = {2021},
  url          = {https://doi.org/10.1142/12177},
  doi          = {10.1142/12177},
  isbn         = {9789811232879},
  timestamp    = {Thu, 01 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/Wallace21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wallace20,
  author       = {Richard J. Wallace},
  title        = {Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction
                  Problems},
  journal      = {Fundam. Informaticae},
  volume       = {174},
  number       = {3-4},
  pages        = {311--344},
  year         = {2020},
  url          = {https://doi.org/10.3233/FI-2020-1944},
  doi          = {10.3233/FI-2020-1944},
  timestamp    = {Wed, 07 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Wallace20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Wallace20,
  author       = {Richard J. Wallace},
  editor       = {Matteo Baldoni and
                  Stefania Bandini},
  title        = {Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency
                  in CSPs, with a New Best {(N)SAC} Algorithm},
  booktitle    = {AIxIA 2020 - Advances in Artificial Intelligence - XIXth International
                  Conference of the Italian Association for Artificial Intelligence,
                  Virtual Event, November 25-27, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12414},
  pages        = {301--317},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-77091-4\_19},
  doi          = {10.1007/978-3-030-77091-4\_19},
  timestamp    = {Mon, 07 Jun 2021 12:03:14 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/Wallace20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Wallace18,
  author       = {Richard J. Wallace},
  editor       = {Keith Brawner and
                  Vasile Rus},
  title        = {Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction
                  Problems},
  booktitle    = {Proceedings of the Thirty-First International Florida Artificial Intelligence
                  Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.}
                  May 21-23 2018},
  pages        = {140--145},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS18/paper/view/17620},
  timestamp    = {Wed, 26 Oct 2022 08:35:09 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/Wallace18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Wallace17,
  author       = {Richard J. Wallace},
  editor       = {Vasile Rus and
                  Zdravko Markov},
  title        = {A Normative-Prescriptive-Descriptive Approach to Analyzing {CSP} Heuristics},
  booktitle    = {Proceedings of the Thirtieth International Florida Artificial Intelligence
                  Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,
                  USA, May 22-24, 2017},
  pages        = {158--163},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15456},
  timestamp    = {Wed, 26 Oct 2022 08:35:10 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/Wallace17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/FreuderW17,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Christine L. Lisetti and
                  Martin Theobald},
  title        = {Replaceability and the Substitutability Hierarchy for Constraint Satisfaction
                  Problems},
  booktitle    = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami,
                  FL, USA, 18-22 October 2017},
  series       = {EPiC Series in Computing},
  volume       = {50},
  pages        = {51--63},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/n1db},
  doi          = {10.29007/N1DB},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gcai/FreuderW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ClimentSWB15,
  author       = {Laura Climent and
                  Miguel A. Salido and
                  Richard J. Wallace and
                  Federico Barber},
  title        = {Uncertainty in dynamic constraint satisfaction problems},
  journal      = {{AI} Commun.},
  volume       = {29},
  number       = {1},
  pages        = {239--241},
  year         = {2016},
  url          = {https://doi.org/10.3233/AIC-150657},
  doi          = {10.3233/AIC-150657},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/ClimentSWB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Wallace16,
  author       = {Richard J. Wallace},
  title        = {Neighbourhood {SAC:} Extensions and new algorithms},
  journal      = {{AI} Commun.},
  volume       = {29},
  number       = {2},
  pages        = {249--268},
  year         = {2016},
  url          = {https://doi.org/10.3233/AIC-150696},
  doi          = {10.3233/AIC-150696},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Wallace16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ClimentWOF16,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Barry O'Sullivan and
                  Eugene C. Freuder},
  title        = {Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial
                  Optimization Problems to Obtain Robust Solutions},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {25},
  number       = {1},
  pages        = {1660005:1--1660005:21},
  year         = {2016},
  url          = {https://doi.org/10.1142/S0218213016600058},
  doi          = {10.1142/S0218213016600058},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijait/ClimentWOF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Wallace16,
  author       = {Richard J. Wallace},
  editor       = {Stefano Bistarelli and
                  Andrea Formisano and
                  Marco Maratea},
  title        = {Complexity Analysis vs. Engineering Design in {CSP} Algorithms: Contravening
                  Conventional Wisdom Again},
  booktitle    = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
                  Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
                  2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
                  of the Italian Association for Artificial Intelligence (AI*IA 2016),
                  Genova, Italy, November 28, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1745},
  pages        = {73--87},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1745/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Wallace16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Wallace16a,
  author       = {Richard J. Wallace},
  editor       = {Stefano Bistarelli and
                  Andrea Formisano and
                  Marco Maratea},
  title        = {Preprocessing versus Search Processing for Constraint Satisfaction
                  Problems},
  booktitle    = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
                  Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
                  2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
                  of the Italian Association for Artificial Intelligence (AI*IA 2016),
                  Genova, Italy, November 28, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1745},
  pages        = {89--103},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1745/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Wallace16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Wallace16,
  author       = {Richard J. Wallace},
  editor       = {Zdravko Markov and
                  Ingrid Russell},
  title        = {Neighbourhood {SAC} for Constraint Satisfaction Problems with Non-Binary
                  Constraints},
  booktitle    = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence
                  Research Society Conference, {FLAIRS} 2016, Key Largo, Florida, USA,
                  May 16-18, 2016},
  pages        = {162--166},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12807},
  timestamp    = {Wed, 26 Oct 2022 08:35:12 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/Wallace16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ClimentOW16,
  author       = {Laura Climent and
                  Barry O'Sullivan and
                  Richard J. Wallace},
  editor       = {Jorge A. Baier and
                  Adi Botea},
  title        = {An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction
                  in the Population Harvest Cutting Stock Problem},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
                  {SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
  pages        = {127--128},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/socs.v7i1.18397},
  doi          = {10.1609/SOCS.V7I1.18397},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ClimentOW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Wallace15,
  author       = {Richard J. Wallace},
  title        = {{SAC} and neighbourhood {SAC}},
  journal      = {{AI} Commun.},
  volume       = {28},
  number       = {2},
  pages        = {345--364},
  year         = {2015},
  url          = {https://doi.org/10.3233/AIC-140635},
  doi          = {10.3233/AIC-140635},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Wallace15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/ClimentWSB15,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Miguel A. Salido and
                  Federico Barber},
  title        = {Finding robust solutions for constraint satisfaction problems with
                  discrete and ordered domains by coverings},
  journal      = {Artif. Intell. Rev.},
  volume       = {44},
  number       = {2},
  pages        = {131--156},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10462-013-9420-0},
  doi          = {10.1007/S10462-013-9420-0},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/air/ClimentWSB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Wallace15,
  author       = {Richard J. Wallace},
  editor       = {Ingrid Russell and
                  William Eberle},
  title        = {Light-Weight versus Heavy-Weight Algorithms for {SAC} and Neighbourhood
                  {SAC}},
  booktitle    = {Proceedings of the Twenty-Eighth International Florida Artificial
                  Intelligence Research Society Conference, {FLAIRS} 2015, Hollywood,
                  Florida, USA, May 18-20, 2015},
  pages        = {91--96},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS15/paper/view/10410},
  timestamp    = {Wed, 26 Oct 2022 08:35:13 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/Wallace15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ClimentWSB14,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Miguel A. Salido and
                  Federico Barber},
  title        = {Robustness and Stability in Constraint Programming under Dynamism
                  and Uncertainty},
  journal      = {J. Artif. Intell. Res.},
  volume       = {49},
  pages        = {49--78},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4126},
  doi          = {10.1613/JAIR.4126},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/ClimentWSB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ClimentWSB14,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Miguel A. Salido and
                  Federico Barber},
  editor       = {Barry O'Sullivan},
  title        = {Robustness and Stability in Constraint Programming under Dynamism
                  and Uncertainty - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {923--927},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_68},
  doi          = {10.1007/978-3-319-10428-7\_68},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/ClimentWSB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/WallaceMBT14,
  author       = {Richard J. Wallace and
                  Antonino Marvuglia and
                  Enrico Benetto and
                  Ligia Tiruta{-}Barna},
  editor       = {Beniamino Murgante and
                  Sanjay Misra and
                  Ana Maria A. C. Rocha and
                  Carmelo Maria Torre and
                  Jorge Gustavo Rocha and
                  Maria Irene Falc{\~{a}}o and
                  David Taniar and
                  Bernady O. Apduhan and
                  Osvaldo Gervasi},
  title        = {A New Approach to Optimization with Life Cycle Assessment: Combining
                  Optimization with Detailed Process Simulation},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2014 - 14th International
                  Conference, Guimar{\~{a}}es, Portugal, June 30 - July 3, 2014, Proceedings,
                  Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8581},
  pages        = {707--720},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09150-1\_52},
  doi          = {10.1007/978-3-319-09150-1\_52},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/WallaceMBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ClimentWOF14,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Barry O'Sullivan and
                  Eugene C. Freuder},
  title        = {Extrapolating from Limited Uncertain Information to Obtain Robust
                  Solutions for Large-Scale Optimization Problems},
  booktitle    = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
  pages        = {898--905},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICTAI.2014.137},
  doi          = {10.1109/ICTAI.2014.137},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ClimentWOF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ClimentWSB13,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Miguel A. Salido and
                  Federico Barber},
  editor       = {Carla P. Gomes and
                  Meinolf Sellmann},
  title        = {Modeling Robustness in CSPs as Weighted CSPs},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 10th International Conference,
                  {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7874},
  pages        = {44--60},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38171-3\_4},
  doi          = {10.1007/978-3-642-38171-3\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/ClimentWSB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ClimentWSB12,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Miguel A. Salido and
                  Federico Barber},
  title        = {An Algorithm for Finding Robust and Stable Solutions for Constraint
                  Satisfaction Problems with Discrete and Ordered Domains},
  booktitle    = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  pages        = {874--879},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICTAI.2012.122},
  doi          = {10.1109/ICTAI.2012.122},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ClimentWSB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FreuderHWW10,
  author       = {Eugene C. Freuder and
                  Robert Heffernan and
                  Richard J. Wallace and
                  Nic Wilson},
  title        = {Lexicographically-ordered constraint satisfaction problems},
  journal      = {Constraints An Int. J.},
  volume       = {15},
  number       = {1},
  pages        = {1--28},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10601-009-9069-0},
  doi          = {10.1007/S10601-009-9069-0},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/FreuderHWW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/WallaceW09,
  author       = {Richard J. Wallace and
                  Nic Wilson},
  title        = {Conditional lexicographic orders in constraint satisfaction problems},
  journal      = {Ann. Oper. Res.},
  volume       = {171},
  number       = {1},
  pages        = {3--25},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10479-008-0385-3},
  doi          = {10.1007/S10479-008-0385-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/anor/WallaceW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/WallaceGF09,
  author       = {Richard J. Wallace and
                  Diarmuid Grimes and
                  Eugene C. Freuder},
  editor       = {Javier Larrosa and
                  Barry O'Sullivan},
  title        = {Dynamic Constraint Satisfaction Problems: Relations among Search Strategies,
                  Solution Sets and Algorithm Performance},
  booktitle    = {Recent Advances in Constraints - 14th Annual {ERCIM} International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6384},
  pages        = {105--121},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19486-3\_7},
  doi          = {10.1007/978-3-642-19486-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/csclp/WallaceGF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WallaceGF09,
  author       = {Richard J. Wallace and
                  Diarmuid Grimes and
                  Eugene C. Freuder},
  editor       = {Craig Boutilier},
  title        = {Solving Dynamic Constraint Satisfaction Problems by Identifying Stable
                  Features},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {621--627},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/109.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WallaceGF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itee/DokasWMIF09,
  author       = {Ioannis M. Dokas and
                  Richard J. Wallace and
                  Radu Marinescu and
                  Syed Imran and
                  Franclin S. Foping},
  editor       = {Ioannis N. Athanasiadis and
                  Pericles A. Mitkas and
                  Andrea Emilio Rizzoli and
                  Jorge Marx G{\'{o}}mez},
  title        = {Towards a novel early warning service for state agencies: {A} feasibility
                  study},
  booktitle    = {Information Technologies in Environmental Engineering, Proceedings
                  of the 4th International {ICSC} Symposium, {ITEE} 2009, Thessaloniki,
                  Greece, May 28-29, 2009},
  pages        = {162--175},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-88351-7\_12},
  doi          = {10.1007/978-3-540-88351-7\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itee/DokasWMIF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Wallace08,
  author       = {Richard J. Wallace},
  title        = {Determining the Principles Underlying Performance Variation in {CSP}
                  Heuristics},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {17},
  number       = {5},
  pages        = {857--880},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0218213008004199},
  doi          = {10.1142/S0218213008004199},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/Wallace08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/WallaceG08,
  author       = {Richard J. Wallace and
                  Diarmuid Grimes},
  title        = {Experimental studies of variable selection strategies based on constraint
                  weights},
  journal      = {J. Algorithms},
  volume       = {63},
  number       = {1-3},
  pages        = {114--129},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jalgor.2008.02.009},
  doi          = {10.1016/J.JALGOR.2008.02.009},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jal/WallaceG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/WallaceGF08,
  author       = {Richard J. Wallace and
                  Diarmuid Grimes and
                  Eugene C. Freuder},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Solving Dynamic Constraint Satisfaction Problems by Identifying Stable
                  Features},
  booktitle    = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
                  of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
                  Italy, December 12-13, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {451},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-451/paper18wallace.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/rcra/WallaceGF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/WallaceB07,
  author       = {Richard J. Wallace and
                  Stuart Bain},
  editor       = {Mehmet A. Orgun and
                  John Thornton},
  title        = {Branching Rules for Satisfiability Analysed with Factor Analysis},
  booktitle    = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint
                  Conference on Artificial Intelligence, Gold Coast, Australia, December
                  2-6, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4830},
  pages        = {803--809},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76928-6\_96},
  doi          = {10.1007/978-3-540-76928-6\_96},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ausai/WallaceB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/WallaceND07,
  author       = {Richard J. Wallace and
                  Tomas Eric Nordlander and
                  Ioannis M. Dokas},
  editor       = {Paolo Bouquet and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Chiara Ghidini and
                  Deborah L. McGuinness and
                  Luciano Serafini and
                  Pavel Shvaiko and
                  Holger Wache},
  title        = {Ontologies as Contexts for Constraint-based Reasoning},
  booktitle    = {Proceedings of the International Workshop on Contexts and Ontologies:
                  Representation and Reasoning (C{\&}O:RR) Collocated with the 6th
                  International and Interdisciplinary Conference on Modelling and Using
                  Context (CONTEXT-2007), Roskilde, Denmark, August 21st, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {298},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-298/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:43 +0100},
  biburl       = {https://dblp.org/rec/conf/context/WallaceND07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrimesW07,
  author       = {Diarmuid Grimes and
                  Richard J. Wallace},
  editor       = {Christian Bessiere},
  title        = {Sampling Strategies and Variable Selection in Weighted Degree Heuristics},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
                  International Conference, {CP} 2007, Providence, RI, USA, September
                  23-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4741},
  pages        = {831--838},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74970-7\_61},
  doi          = {10.1007/978-3-540-74970-7\_61},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GrimesW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/GrimesW07,
  author       = {Diarmuid Grimes and
                  Richard J. Wallace},
  editor       = {David Wilson and
                  Geoff Sutcliffe},
  title        = {Learning to Identify Global Bottlenecks in Constraint Satisfaction
                  Search},
  booktitle    = {Proceedings of the Twentieth International Florida Artificial Intelligence
                  Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
  pages        = {592--597},
  publisher    = {{AAAI} Press},
  year         = {2007},
  url          = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-116.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:25 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/GrimesW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Wallace07,
  author       = {Richard J. Wallace},
  title        = {Determining the Basis for Performance Variations in {CSP} Heuristics},
  booktitle    = {19th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 2},
  pages        = {473--480},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICTAI.2007.54},
  doi          = {10.1109/ICTAI.2007.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Wallace07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/NordlanderFW07,
  author       = {Tomas Eric Nordlander and
                  Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Derek H. Sleeman and
                  Ken Barker},
  title        = {Maintaining constraint-based applications},
  booktitle    = {Proceedings of the 4th International Conference on Knowledge Capture
                  {(K-CAP} 2007), October 28-31, 2007, Whistler, BC, Canada},
  pages        = {79--86},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1298406.1298422},
  doi          = {10.1145/1298406.1298422},
  timestamp    = {Mon, 24 Aug 2020 15:16:10 +0200},
  biburl       = {https://dblp.org/rec/conf/kcap/NordlanderFW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/WallaceW06,
  author       = {Richard J. Wallace and
                  Nic Wilson},
  editor       = {J. Christopher Beck and
                  Barbara M. Smith},
  title        = {Conditional Lexicographic Orders in Constraint Satisfaction Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, Third International Conference,
                  {CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3990},
  pages        = {258--272},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11757375\_21},
  doi          = {10.1007/11757375\_21},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/WallaceW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/EpsteinW06,
  author       = {Susan L. Epstein and
                  Richard J. Wallace},
  title        = {Finding Crucial Subproblems to Focus Global Search},
  booktitle    = {18th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
  pages        = {151--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICTAI.2006.60},
  doi          = {10.1109/ICTAI.2006.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/EpsteinW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Wallace06,
  author       = {Richard J. Wallace},
  title        = {Heuristic Policy Analysis and Efficiency Assessment in Constraint
                  Satisfaction Search},
  booktitle    = {18th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
  pages        = {305--314},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICTAI.2006.62},
  doi          = {10.1109/ICTAI.2006.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Wallace06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WallaceF05,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  title        = {Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent
                  problem solving},
  journal      = {Artif. Intell.},
  volume       = {161},
  number       = {1-2},
  pages        = {209--227},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.10.006},
  doi          = {10.1016/J.ARTINT.2004.10.006},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/WallaceF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/EpsteinFW05,
  author       = {Susan L. Epstein and
                  Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Learning to Support Constraint Programmers},
  journal      = {Comput. Intell.},
  volume       = {21},
  number       = {4},
  pages        = {336--371},
  year         = {2005},
  url          = {https://doi.org/10.1111/j.1467-8640.2005.00277.x},
  doi          = {10.1111/J.1467-8640.2005.00277.X},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ci/EpsteinFW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/WallaceF05,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  title        = {Supporting dispatchability in schedules with consumable resources},
  journal      = {J. Sched.},
  volume       = {8},
  number       = {1},
  pages        = {7--23},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10951-005-5313-7},
  doi          = {10.1007/S10951-005-5313-7},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scheduling/WallaceF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/Wallace05,
  author       = {Richard J. Wallace},
  editor       = {Brahim Hnich and
                  Mats Carlsson and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {Analysis of Heuristic Synergies},
  booktitle    = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3978},
  pages        = {73--87},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11754602\_6},
  doi          = {10.1007/11754602\_6},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/Wallace05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/FranzinRFW04,
  author       = {M. S. Franzin and
                  Francesca Rossi and
                  Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Multi-Agent Constraint Systems with Preferences: Efficiency, Solution
                  Quality, and Privacy Loss},
  journal      = {Comput. Intell.},
  volume       = {20},
  number       = {2},
  pages        = {264--286},
  year         = {2004},
  url          = {https://doi.org/10.1111/j.0824-7935.2004.00238.x},
  doi          = {10.1111/J.0824-7935.2004.00238.X},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/FranzinRFW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeckPW04,
  author       = {J. Christopher Beck and
                  Patrick Prosser and
                  Richard J. Wallace},
  editor       = {Mark Wallace},
  title        = {Variable Ordering Heuristics Show Promise},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
                  International Conference, {CP} 2004, Toronto, Canada, September 27
                  - October 1, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3258},
  pages        = {711--715},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30201-8\_52},
  doi          = {10.1007/978-3-540-30201-8\_52},
  timestamp    = {Fri, 27 Mar 2020 09:00:36 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BeckPW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SilaghiRW04,
  author       = {Marius{-}Calin Silaghi and
                  Vaibhav Rajeshirke and
                  Richard J. Wallace},
  editor       = {Mark Wallace},
  title        = {A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without
                  Trusted Servers},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
                  International Conference, {CP} 2004, Toronto, Canada, September 27
                  - October 1, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3258},
  pages        = {818},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30201-8\_96},
  doi          = {10.1007/978-3-540-30201-8\_96},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SilaghiRW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BeckPW04,
  author       = {J. Christopher Beck and
                  Patrick Prosser and
                  Richard J. Wallace},
  editor       = {Boi Faltings and
                  Adrian Petcu and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {Trying Again to Fail-First},
  booktitle    = {Recent Advances in Constraints, Joint ERCIM/CoLogNet International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3419},
  pages        = {41--55},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11402763\_4},
  doi          = {10.1007/11402763\_4},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/BeckPW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BeckPW04,
  author       = {J. Christopher Beck and
                  Patrick Prosser and
                  Richard J. Wallace},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Lorenza Saitta},
  title        = {Failing First: An Update},
  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        = {959--960},
  publisher    = {{IOS} Press},
  year         = {2004},
  timestamp    = {Fri, 11 May 2018 12:42:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BeckPW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/RingwelskiW04,
  author       = {Georg Ringwelski and
                  Richard J. Wallace},
  editor       = {Valerie Barr and
                  Zdravko Markov},
  title        = {Constraint Processing with Reactive Agents},
  booktitle    = {Proceedings of the Seventeenth International Florida Artificial Intelligence
                  Research Society Conference, Miami Beach, Florida, {USA}},
  pages        = {293--299},
  publisher    = {{AAAI} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/FLAIRS/2004/flairs04-053.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:30 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/RingwelskiW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/WallaceS04,
  author       = {Richard J. Wallace and
                  Marius{-}Calin Silaghi},
  editor       = {Valerie Barr and
                  Zdravko Markov},
  title        = {Using Privacy Loss to Guide Decisions During Distributed {CSP} Search},
  booktitle    = {Proceedings of the Seventeenth International Florida Artificial Intelligence
                  Research Society Conference, Miami Beach, Florida, {USA}},
  pages        = {770--775},
  publisher    = {{AAAI} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/FLAIRS/2004/flairs04-131.php},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/WallaceS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/WallaceFM04,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder and
                  Marius Minca},
  editor       = {Ra{\'{u}}l Monroy and
                  Gustavo Arroyo{-}Figueroa and
                  Luis Enrique Sucar and
                  Juan Humberto Sossa Azuela},
  title        = {Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent
                  Systems},
  booktitle    = {{MICAI} 2004: Advances in Artificial Intelligence, Third Mexican International
                  Conference on Artificial Intelligence, Mexico City, Mexico, April
                  26-30, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2972},
  pages        = {380--389},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24694-7\_39},
  doi          = {10.1007/978-3-540-24694-7\_39},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/micai/WallaceFM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/HulubeiFW03,
  author       = {Tudor Hulubei and
                  Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {The Goldilocks problem},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {17},
  number       = {1},
  pages        = {3--11},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0890060403171028},
  doi          = {10.1017/S0890060403171028},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/HulubeiFW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SabinFW03,
  author       = {Mihaela Sabin and
                  Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Francesca Rossi},
  title        = {Greater Efficiency for Conditional Constraint Satisfaction},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {649--663},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_44},
  doi          = {10.1007/978-3-540-45193-8\_44},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SabinFW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/FreuderW02,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Suggestion Strategies for Constraint-Based Matchmaker Agents},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {11},
  number       = {1},
  pages        = {3--18},
  year         = {2002},
  url          = {https://doi.org/10.1142/S0218213002000769},
  doi          = {10.1142/S0218213002000769},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/FreuderW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognet/FreuderLMRW02,
  author       = {Eugene C. Freuder and
                  Chavalit Likitvivatanavong and
                  Manuela Moretti and
                  Francesca Rossi and
                  Richard J. Wallace},
  editor       = {Barry O'Sullivan},
  title        = {Computing Explanations and Implications in Preference-Based Configurators},
  booktitle    = {Recent Advances in Constraints, Joint ERCIM/CologNet International
                  Workshop on Constraint Solving and Constraint Logic Programming, Cork,
                  Ireland, June 19-21, 2002. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2627},
  pages        = {76--92},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36607-5\_6},
  doi          = {10.1007/3-540-36607-5\_6},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/colognet/FreuderLMRW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/EpsteinFWMS02,
  author       = {Susan L. Epstein and
                  Eugene C. Freuder and
                  Richard J. Wallace and
                  Anton Morozov and
                  Bruce Samuels},
  editor       = {Pascal Van Hentenryck},
  title        = {The Adaptive Constraint Engine},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
                  International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2470},
  pages        = {525--542},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46135-3\_35},
  doi          = {10.1007/3-540-46135-3\_35},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/EpsteinFWMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Wallace02,
  author       = {Richard J. Wallace},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {Representing Possibilities in Relation to Constraints and Agents},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {407--418},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_34},
  doi          = {10.1007/3-540-45757-7\_34},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Wallace02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FreuderLW01,
  author       = {Eugene C. Freuder and
                  Chavalit Likitvivatanavong and
                  Richard J. Wallace},
  editor       = {Toby Walsh},
  title        = {Deriving Explanations and Implications for Constraint Satisfaction
                  Problems},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
                  International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
                  December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2239},
  pages        = {585--589},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45578-7\_44},
  doi          = {10.1007/3-540-45578-7\_44},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FreuderLW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs57,
  editor       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Constraint Programming and Large Scale Discrete Optimization, Proceedings
                  of a {DIMACS} Workshop, Princeton, New Jersey, USA, September 14-17,
                  1998},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {57},
  publisher    = {{DIMACS/AMS}},
  year         = {2001},
  url          = {https://doi.org/10.1090/dimacs/057},
  doi          = {10.1090/DIMACS/057},
  isbn         = {978-0-8218-2710-9},
  timestamp    = {Mon, 22 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/dimacs57.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WallaceF00,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Steve A. Chien and
                  Subbarao Kambhampati and
                  Craig A. Knoblock},
  title        = {Dispatchable Execution of Schedules Involving Consumable Resources},
  booktitle    = {Proceedings of the Fifth International Conference on Artificial Intelligence
                  Planning Systems, Breckenridge, CO, USA, April 14-17, 2000},
  pages        = {283--290},
  publisher    = {{AAAI}},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AIPS/2000/aips00-030.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/WallaceF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/WallaceF00,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Werner Horn},
  title        = {Dispatchability Conditions for Schedules with Consumable Resources},
  booktitle    = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
                  Intelligence, Berlin, Germany, August 20-25, 2000},
  pages        = {536--542},
  publisher    = {{IOS} Press},
  year         = {2000},
  timestamp    = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/WallaceF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/EatonFW98,
  author       = {Peggy S. Eaton and
                  Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Constraints and Agents Confronting Ignorance},
  journal      = {{AI} Mag.},
  volume       = {19},
  number       = {2},
  pages        = {51--65},
  year         = {1998},
  url          = {https://doi.org/10.1609/aimag.v19i2.1368},
  doi          = {10.1609/AIMAG.V19I2.1368},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/EatonFW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FreuderW98,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Michael J. Maher and
                  Jean{-}Francois Puget},
  title        = {Suggestion Strategies for Constraint-Based Matchmaker Agents},
  booktitle    = {Principles and Practice of Constraint Programming - CP98, 4th International
                  Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1520},
  pages        = {192--204},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49481-2\_15},
  doi          = {10.1007/3-540-49481-2\_15},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FreuderW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WallaceF98,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Michael J. Maher and
                  Jean{-}Francois Puget},
  title        = {Stable Solutions for Dynamic Constraint Satisfaction Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP98, 4th International
                  Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1520},
  pages        = {447--461},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49481-2\_32},
  doi          = {10.1007/3-540-49481-2\_32},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WallaceF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/WallaceF98,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Introduction to {DIMACS} workshop on Constraint Programming and Large
                  Scale Discrete Optimization},
  booktitle    = {Constraint Programming and Large Scale Discrete Optimization, Proceedings
                  of a {DIMACS} Workshop, Princeton, New Jersey, USA, September 14-17,
                  1998},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {57},
  pages        = {1--5},
  publisher    = {{DIMACS/AMS}},
  year         = {1998},
  url          = {https://doi.org/10.1090/dimacs/057/01},
  doi          = {10.1090/DIMACS/057/01},
  timestamp    = {Mon, 22 May 2023 16:07:34 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/WallaceF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FreuderW97,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Eugene C. Freuder},
  title        = {Suggestion Strategies for Constraint-Based Matchmaker Agents},
  booktitle    = {Constraints {\&} Agents: Collected Papers from the 1997 {AAAI}
                  Workshop, Providence, RI, USA, July 27, 1997},
  pages        = {105--111},
  publisher    = {{AAAI} Press},
  year         = {1997},
  timestamp    = {Fri, 19 May 2023 15:58:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FreuderW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/WallaceF96,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  title        = {Anytime Algorithms for Constraint Satisfaction and {SAT} Problems},
  journal      = {{SIGART} Bull.},
  volume       = {7},
  number       = {2},
  pages        = {7--10},
  year         = {1996},
  url          = {https://doi.org/10.1145/242587.242589},
  doi          = {10.1145/242587.242589},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigart/WallaceF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Wallace96,
  author       = {Richard J. Wallace},
  editor       = {William J. Clancey and
                  Daniel S. Weld},
  title        = {Enhancements of Branch and Bound Methods for the Maximal Constraint
                  Satisfaction Problem},
  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        = {188--195},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1996},
  url          = {http://www.aaai.org/Library/AAAI/1996/aaai96-028.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Wallace96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/Wallace96,
  author       = {Richard J. Wallace},
  editor       = {Gordon I. McCalla},
  title        = {Enhancing Maximum Satisfiablility Algorithms with Pure Literal Strategies},
  booktitle    = {Advances in Artificial Intelligence, 11th Biennial Conference of the
                  Canadian Society for Computational Studies of Intelligence, {AI} '96,
                  Toronto, Ontario, Canada, May 21-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1081},
  pages        = {388--401},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61291-2\_67},
  doi          = {10.1007/3-540-61291-2\_67},
  timestamp    = {Thu, 28 Sep 2023 12:27:06 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/Wallace96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wallace96,
  author       = {Richard J. Wallace},
  editor       = {Eugene C. Freuder},
  title        = {Analysis of Heuristic Methods for Partial Constraint Satisfaction
                  Problems},
  booktitle    = {Proceedings of the Second International Conference on Principles and
                  Practice of Constraint Programming, Cambridge, Massachusetts, USA,
                  August 19-22, 1996},
  series       = {Lecture Notes in Computer Science},
  volume       = {1118},
  pages        = {482--496},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61551-2\_95},
  doi          = {10.1007/3-540-61551-2\_95},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wallace96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FreuderW95,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Partial Constraint Satisfaction},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {63--110},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_18},
  doi          = {10.1007/3-540-61479-6\_18},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FreuderW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wallace95a,
  author       = {Richard J. Wallace},
  editor       = {Manfred Meyer},
  title        = {Directed Arc Consistency Preprocessing},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_22},
  doi          = {10.1007/3-540-59479-5\_22},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wallace95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WallaceF95,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Heuristic Methods for Over-Constrained Constraint Satisfaction Problems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {207--216},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_23},
  doi          = {10.1007/3-540-61479-6\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WallaceF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wallace95,
  author       = {Richard J. Wallace},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Cascaded Directed Arc Consistency and No-Good Learning for the Maximal
                  Constraint Satisfaction Problem},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {217--228},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_24},
  doi          = {10.1007/3-540-61479-6\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wallace95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderW95,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Generalizing Inconsistency Learning for Constraint Satisfaction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {563--571},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/074.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FreuderW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WallaceF93,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Richard Fikes and
                  Wendy G. Lehnert},
  title        = {Conjunctive Width Heuristics for Maximal Constraint Satisfaction},
  booktitle    = {Proceedings of the 11th National Conference on Artificial Intelligence.
                  Washington, DC, USA, July 11-15, 1993},
  pages        = {762--768},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1993},
  url          = {http://www.aaai.org/Library/AAAI/1993/aaai93-114.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WallaceF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/WallaceF93,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {David S. Johnson and
                  Michael A. Trick},
  title        = {Comparative studies of constraint satisfaction and Davis-Putnam algorithms
                  for maximum satisfiability problems},
  booktitle    = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
                  New Brunswick, New Jersey, USA, October 11-13, 1993},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {26},
  pages        = {587--615},
  publisher    = {{DIMACS/AMS}},
  year         = {1993},
  url          = {https://doi.org/10.1090/dimacs/026/28},
  doi          = {10.1090/DIMACS/026/28},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/WallaceF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wallace93,
  author       = {Richard J. Wallace},
  editor       = {Ruzena Bajcsy},
  title        = {Why {AC-3} is Almost Always Better than {AC4} for Establishing Arc
                  Consistency in CSPs},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {239--247},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/034.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wallace93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FreuderW92,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Partial Constraint Satisfaction},
  journal      = {Artif. Intell.},
  volume       = {58},
  number       = {1-3},
  pages        = {21--70},
  year         = {1992},
  url          = {https://doi.org/10.1016/0004-3702(92)90004-H},
  doi          = {10.1016/0004-3702(92)90004-H},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/FreuderW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FreuderW91,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Selective relaxation for constraint satisfaction problems},
  booktitle    = {Third International Conference on Tools for Artificial Intelligence,
                  {TAI} '91, San Jose, CA, USA, November 10-13, 1991},
  pages        = {332--339},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/TAI.1991.167112},
  doi          = {10.1109/TAI.1991.167112},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/FreuderW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics