Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Berthe Y. Choueiry
@inproceedings{DBLP:conf/cp/HowellCY20,
author = {Ian Howell and
Berthe Y. Choueiry and
Hongfeng Yu},
editor = {Helmut Simonis},
title = {Visualizations to Summarize Search Behavior},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {392--409},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_23},
doi = {10.1007/978-3-030-58475-7\_23},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HowellCY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchneiderC18,
author = {Anthony Schneider and
Berthe Y. Choueiry},
editor = {John N. Hooker},
title = {{PW-AC:} Extending Compact-Table to Enforce Pairwise Consistency on
Table Constraints},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {345--361},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_23},
doi = {10.1007/978-3-319-98334-9\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/SchneiderC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WoodwardCB18,
author = {Robert J. Woodward and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {A Reactive Strategy for High-Level Consistency During Search},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1390--1397},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/193},
doi = {10.24963/IJCAI.2018/193},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WoodwardCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HowellWCB18,
author = {Ian Howell and
Robert J. Woodward and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Solving Sudoku with Consistency: {A} Visual and Interactive Approach},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5829--5831},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/852},
doi = {10.24963/IJCAI.2018/852},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HowellWCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WoodwardCB17,
author = {Robert J. Woodward and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Cycle-Based Singleton Local Consistencies},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {5005--5006},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11101},
doi = {10.1609/AAAI.V31I1.11101},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WoodwardCB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-00909,
author = {Robert J. Woodward and
Berthe Y. Choueiry},
title = {Weight-Based Variable Ordering in the Context of High-Level Consistencies},
journal = {CoRR},
volume = {abs/1711.00909},
year = {2017},
url = {http://arxiv.org/abs/1711.00909},
eprinttype = {arXiv},
eprint = {1711.00909},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-00909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeschwenderWC15,
author = {Daniel J. Geschwender and
Robert J. Woodward and
Berthe Y. Choueiry},
editor = {Blai Bonet and
Sven Koenig},
title = {Characterizing Performance of Consistency Algorithms by Algorithm
Configuration of Random {CSP} Generators},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {4162--4163},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9728},
doi = {10.1609/AAAI.V29I1.9728},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GeschwenderWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchneiderWCB14,
author = {Anthony Schneider and
Robert J. Woodward and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Barry O'Sullivan},
title = {Improving Relational Consistency Algorithms Using Dynamic Relation
Partitioning},
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 = {688--704},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_50},
doi = {10.1007/978-3-319-10428-7\_50},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/SchneiderWCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WoodwardSCB14,
author = {Robert J. Woodward and
Anthony Schneider and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Barry O'Sullivan},
title = {Adaptive Parameterized Consistency for Non-binary CSPs by Counting
Supports},
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 = {755--764},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_54},
doi = {10.1007/978-3-319-10428-7\_54},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/WoodwardSCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KarakashianWC13,
author = {Shant Karakashian and
Robert J. Woodward and
Berthe Y. Choueiry},
editor = {Marie desJardins and
Michael L. Littman},
title = {Improving the Performance of Consistency Algorithms by Localizing
and Bolstering Propagation in a Tree Decomposition},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {466--473},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8594},
doi = {10.1609/AAAI.V27I1.8594},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KarakashianWC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeschwenderKWCS13,
author = {Daniel J. Geschwender and
Shant Karakashian and
Robert J. Woodward and
Berthe Y. Choueiry and
Stephen D. Scott},
editor = {Marie desJardins and
Michael L. Littman},
title = {Selecting the Appropriate Consistency Algorithm for CSPs Using Machine
Learning Classifiers},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {1611--1612},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8532},
doi = {10.1609/AAAI.V27I1.8532},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GeschwenderKWCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WoodwardKCB12,
author = {Robert J. Woodward and
Shant Karakashian and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Michela Milano},
title = {Revisiting Neighborhood Inverse Consistency on Binary CSPs},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {688--703},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_50},
doi = {10.1007/978-3-642-33558-7\_50},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/WoodwardKCB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WoodwardKCB11,
author = {Robert J. Woodward and
Shant Karakashian and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Wolfram Burgard and
Dan Roth},
title = {Solving Difficult CSPs with Relational Neighborhood Inverse Consistency},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {112--119},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7825},
doi = {10.1609/AAAI.V25I1.7825},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WoodwardKCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WoodwardKCB11a,
author = {Robert J. Woodward and
Shant Karakashian and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Wolfram Burgard and
Dan Roth},
title = {Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary
CSPs},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1830--1831},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.8059},
doi = {10.1609/AAAI.V25I1.8059},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WoodwardKCB11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KarakashianWC11,
author = {Shant Karakashian and
Robert J. Woodward and
Berthe Y. Choueiry},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Reformulating R(*, m)C with Tree Decomposition},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4234},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KarakashianWC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SwearnginCF11,
author = {Amanda Swearngin and
Berthe Y. Choueiry and
Eugene C. Freuder},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study
of the {SET} Game},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4251},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SwearnginCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WoodwardKCB11,
author = {Robert J. Woodward and
Shant Karakashian and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Reformulating the Dual Graphs of CSPs to Improve the Performance of
Relational Neighborhood Inverse Consistency},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4235},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WoodwardKCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ChoueiryG10,
author = {Berthe Y. Choueiry and
Bob Givan},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {58},
number = {3-4},
pages = {153},
year = {2010},
url = {https://doi.org/10.1007/s10472-010-9204-z},
doi = {10.1007/S10472-010-9204-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ChoueiryG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KarakashianWRCB10,
author = {Shant Karakashian and
Robert J. Woodward and
Christopher G. Reeson and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Maria Fox and
David Poole},
title = {A First Practical Algorithm for High Levels of Relational Consistency},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {101--107},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7535},
doi = {10.1609/AAAI.V24I1.7535},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KarakashianWRCB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KarakashianWCB10,
author = {Shant Karakashian and
Robert J. Woodward and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Relational consistency by constraint filtering},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2073--2074},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774525},
doi = {10.1145/1774088.1774525},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/KarakashianWCB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-4609,
author = {Shant Karakashian and
Robert J. Woodward and
Berthe Y. Choueiry and
Steven Prestwhich and
Eugene C. Freuder},
title = {A Partial Taxonomy of Substitutability and Interchangeability},
journal = {CoRR},
volume = {abs/1010.4609},
year = {2010},
url = {http://arxiv.org/abs/1010.4609},
eprinttype = {arXiv},
eprint = {1010.4609},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-4609.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ReesonHBC07,
author = {Christopher G. Reeson and
Kai{-}Chen Huang and
Kenneth M. Bayer and
Berthe Y. Choueiry},
title = {An Interactive Constraint-Based Approach to Sudoku},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1976--1977},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-362.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ReesonHBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BayerMCK07,
author = {Kenneth M. Bayer and
Martin Michalowski and
Berthe Y. Choueiry and
Craig A. Knoblock},
editor = {Christian Bessiere},
title = {Reformulating CSPs for Scalability with Application to Geospatial
Reasoning},
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 = {164--179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_14},
doi = {10.1007/978-3-540-74970-7\_14},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BayerMCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/MichalowskiKBC07,
author = {Martin Michalowski and
Craig A. Knoblock and
Kenneth M. Bayer and
Berthe Y. Choueiry},
editor = {Hanan Samet and
Cyrus Shahabi and
Markus Schneider},
title = {Exploiting automatically inferred constraint-models for building identification
in satellite imagery},
booktitle = {15th {ACM} International Symposium on Geographic Information Systems,
{ACM-GIS} 2007, November 7-9, 2007, Seattle, Washington, USA, Proceedings},
pages = {6},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1341012.1341021},
doi = {10.1145/1341012.1341021},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gis/MichalowskiKBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BayerMCK07,
author = {Kenneth M. Bayer and
Martin Michalowski and
Berthe Y. Choueiry and
Craig A. Knoblock},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Reformulating Constraint Satisfaction Problems to Improve Scalability},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {64--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_8},
doi = {10.1007/978-3-540-73580-9\_8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BayerMCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MichalowskiKC07,
author = {Martin Michalowski and
Craig A. Knoblock and
Berthe Y. Choueiry},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Reformulating Constraint Models Using Input Data},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {402--404},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_36},
doi = {10.1007/978-3-540-73580-9\_36},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/MichalowskiKC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BayerSC06,
author = {Kenneth M. Bayer and
Josh Snyder and
Berthe Y. Choueiry},
title = {An Interactive Constraint-Based Approach to Minesweeper},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1933--1934},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-344.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BayerSC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChoueiryIM05,
author = {Berthe Y. Choueiry and
Yumi Iwasaki and
Sheila A. McIlraith},
title = {Towards a practical theory of reformulation for reasoning about physical
systems},
journal = {Artif. Intell.},
volume = {162},
number = {1-2},
pages = {145--204},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2004.01.004},
doi = {10.1016/J.ARTINT.2004.01.004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ChoueiryIM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LalCF05,
author = {Anagh Lal and
Berthe Y. Choueiry and
Eugene C. Freuder},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Neighborhood Interchangeability and Dynamic Bundling for Non-Binary
Finite CSPs},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {397--404},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-063.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LalCF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZhengC05,
author = {Yaling Zheng and
Berthe Y. Choueiry},
editor = {Peter van Beek},
title = {Applying Decomposition Methods to Crossword Puzzle Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {874},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_112},
doi = {10.1007/11564751\_112},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZhengC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/GompertC05,
author = {Joel M. Gompert and
Berthe Y. Choueiry},
editor = {Ingrid Russell and
Zdravko Markov},
title = {A Decomposition Technique for CSPs Using Maximal Independent Sets
and Its Integration with Local Search},
booktitle = {Proceedings of the Eighteenth International Florida Artificial Intelligence
Research Society Conference, Clearwater Beach, Florida, {USA}},
pages = {167--174},
publisher = {{AAAI} Press},
year = {2005},
url = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-028.php},
timestamp = {Wed, 26 Oct 2022 08:35:28 +0200},
biburl = {https://dblp.org/rec/conf/flairs/GompertC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ChoueiryX04,
author = {Berthe Y. Choueiry and
Lin Xu},
title = {An efficient consistency algorithm for the Temporal Constraint Satisfaction
Problem},
journal = {{AI} Commun.},
volume = {17},
number = {4},
pages = {213--221},
year = {2004},
url = {http://content.iospress.com/articles/ai-communications/aic321},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ChoueiryX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShiLC04,
author = {Yang Shi and
Anagh Lal and
Berthe Y. Choueiry},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Evaluating Consistency Algorithms for Temporal Metric Constraints},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {970--971},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-134.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShiLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdb/LalC04,
author = {Anagh Lal and
Berthe Y. Choueiry},
editor = {Bart Kuijpers and
Peter Z. Revesz},
title = {Constraint Processing Techniques for Improving Join Computation: {A}
Proof of Concept},
booktitle = {Constraint Databases, Proceedings of the 1st International Symposium
on Applications of Constraint Databases, CDB'04, Paris, France, June
12-13, 2004},
series = {Lecture Notes in Computer Science},
volume = {3074},
pages = {149--167},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25954-1\_9},
doi = {10.1007/978-3-540-25954-1\_9},
timestamp = {Sat, 09 Apr 2022 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/cdb/LalC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LimGC04,
author = {Ryan Lim and
Venkata Praveen Guddeti and
Berthe Y. Choueiry},
editor = {Mark Wallace},
title = {A Constraint-Based System for Hiring and Managing Graduate Teaching
Assistants},
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 = {817},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_95},
doi = {10.1007/978-3-540-30201-8\_95},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/LimGC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/GuddetiC04,
author = {Venkata Praveen Guddeti and
Berthe Y. Choueiry},
editor = {Boi Faltings and
Adrian Petcu and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {Characterization of a New Restart Strategy for Randomized Backtrack
Search},
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 = {56--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11402763\_5},
doi = {10.1007/11402763\_5},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/GuddetiC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/ZhengC04,
author = {Yaling Zheng and
Berthe Y. Choueiry},
editor = {Boi Faltings and
Adrian Petcu and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {New Structural Decomposition Techniques for Constraint Satisfaction
Problems},
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 = {113--127},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11402763\_9},
doi = {10.1007/11402763\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csclp/ZhengC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LimGC04,
author = {Ryan Lim and
Venkata Praveen Guddeti and
Berthe Y. Choueiry},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {An Interactive System for Hiring and Managing Graduate Teaching Assistants},
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 = {730--734},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LimGC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/XuC03,
author = {Lin Xu and
Berthe Y. Choueiry},
editor = {Francesca Rossi},
title = {Improving Backtrack Search for Solving the {TCSP}},
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 = {754--768},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_51},
doi = {10.1007/978-3-540-45193-8\_51},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/XuC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/XuC03,
author = {Lin Xu and
Berthe Y. Choueiry},
title = {A New Efficient Algorithm for Solving the Simple Temporal Problem},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {212},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214898},
doi = {10.1109/TIME.2003.1214898},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/XuC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlaubiusC02,
author = {Robert Glaubius and
Berthe Y. Choueiry},
editor = {Pascal Van Hentenryck},
title = {Constraint Modeling in the Context of Academic Task Assignment},
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 = {789},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_82},
doi = {10.1007/3-540-46135-3\_82},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GlaubiusC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChoueiryD02,
author = {Berthe Y. Choueiry and
Amy M. Davis},
editor = {Sven Koenig and
Robert C. Holte},
title = {Dynamic Bundling: Less Effort for More Solutions},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {64--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_6},
doi = {10.1007/3-540-45622-8\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/ChoueiryD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/ChoueiryW01,
author = {Berthe Y. Choueiry and
Toby Walsh},
title = {Symposium on Abstraction, Reformulation, and Approximation {(SARA-2000)}},
journal = {{AI} Mag.},
volume = {22},
number = {1},
pages = {137--138},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i1.1553},
doi = {10.1609/AIMAG.V22I1.1553},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/ChoueiryW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BeckwithCZ01,
author = {Amy M. Beckwith and
Berthe Y. Choueiry and
Hui Zou},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {How the Level of Interchangeability Embedded in a Finite Constraint
Satisfaction Problem Affects the Performance of Search},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {50--61},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_5},
doi = {10.1007/3-540-45656-2\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/BeckwithCZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeckwithC01,
author = {Amy M. Beckwith and
Berthe Y. Choueiry},
editor = {Toby Walsh},
title = {On the Dynamic Detection of Interchangeability in Finite 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 = {760},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_61},
doi = {10.1007/3-540-45578-7\_61},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeckwithC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2000,
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0},
doi = {10.1007/3-540-44914-0},
isbn = {3-540-67839-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChoueiryN98,
author = {Berthe Y. Choueiry and
Guevara Noubir},
editor = {Jack Mostow and
Chuck Rich},
title = {On the Computation of Local Interchangeability in Discrete Constraint
Satisfaction Problems},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {326--333},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-046.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChoueiryN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/WeigelFC96,
author = {Rainer Weigel and
Boi Faltings and
Berthe Y. Choueiry},
editor = {Wolfgang Wahlster},
title = {Context in Discrete Constraint Satisfaction Problems},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {205--212},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/WeigelFC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/NoubirC96,
author = {Guevara Noubir and
Berthe Y. Choueiry},
title = {Algebraic Techniques for the Optimization of Control Flow Checking},
booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
pages = {128--137},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/FTCS.1996.534601},
doi = {10.1109/FTCS.1996.534601},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/NoubirC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/NoubirCN96,
author = {Guevara Noubir and
Berthe Y. Choueiry and
Henri J. Nussbaumer},
title = {Fault tolerant multiple observers using error control codes},
booktitle = {1996 International Conference on Network Protocols, {ICNP} 1996, October
29 - November 1, 1996, Columbus, Ohio, {USA}},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICNP.1996.564913},
doi = {10.1109/ICNP.1996.564913},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/NoubirCN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChoueiryF95,
author = {Berthe Y. Choueiry and
Boi Faltings},
title = {Using Abstractions for Resource Allocation},
booktitle = {Proceedings of the 1995 International Conference on Robotics and Automation,
Nagoya, Aichi, Japan, May 21-27, 1995},
pages = {1027--1033},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ROBOT.1995.525417},
doi = {10.1109/ROBOT.1995.525417},
timestamp = {Fri, 13 Aug 2021 09:26:01 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChoueiryF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChoueiryFW95,
author = {Berthe Y. Choueiry and
Boi Faltings and
Rainer Weigel},
title = {Abstraction by Interchangeability in Resource Allocation},
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 = {1694--1703},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/087.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChoueiryFW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ChoueiryF94,
author = {Berthe Y. Choueiry and
Boi Faltings},
editor = {Anthony G. Cohn},
title = {A Decomposition Heuristic for Resource Allocation},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {585--589},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ChoueiryF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
