default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert J. Woodward
@phdthesis{DBLP:phd/hal/Woodward18,
author = {Robert J. Woodward},
title = {Higher-Level Consistencies : When, Where, and How Much. (Les coh{\'{e}}rences
fortes : o{\`{u}}, quand, et combien)},
school = {University of Montpellier, France},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-02295985},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Woodward18.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/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}
}
@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}
}
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-24 23:20 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:
