default search action
Berthe Y. Choueiry
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2010
- [j4]Berthe Y. Choueiry, Bob Givan:
Preface. Ann. Math. Artif. Intell. 58(3-4): 153 (2010) - 2005
- [j3]Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith:
Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162(1-2): 145-204 (2005) - 2004
- [j2]Berthe Y. Choueiry, Lin Xu:
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. AI Commun. 17(4): 213-221 (2004) - 2001
- [j1]Berthe Y. Choueiry, Toby Walsh:
Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Mag. 22(1): 137-138 (2001)
Conference and Workshop Papers
- 2020
- [c46]Ian Howell, Berthe Y. Choueiry, Hongfeng Yu:
Visualizations to Summarize Search Behavior. CP 2020: 392-409 - 2018
- [c45]Anthony Schneider, Berthe Y. Choueiry:
PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. CP 2018: 345-361 - [c44]Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
A Reactive Strategy for High-Level Consistency During Search. IJCAI 2018: 1390-1397 - [c43]Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
Solving Sudoku with Consistency: A Visual and Interactive Approach. IJCAI 2018: 5829-5831 - 2017
- [c42]Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
Cycle-Based Singleton Local Consistencies. AAAI 2017: 5005-5006 - 2015
- [c41]Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry:
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. AAAI 2015: 4162-4163 - 2014
- [c40]Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. CP 2014: 688-704 - [c39]Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere:
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. CP 2014: 755-764 - 2013
- [c38]Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry:
Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition. AAAI 2013: 466-473 - [c37]Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott:
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers. AAAI 2013: 1611-1612 - 2012
- [c36]Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Revisiting Neighborhood Inverse Consistency on Binary CSPs. CP 2012: 688-703 - 2011
- [c35]Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. AAAI 2011: 112-119 - [c34]Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. AAAI 2011: 1830-1831 - [c33]Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry:
Reformulating R(*, m)C with Tree Decomposition. SARA 2011 - [c32]Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder:
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. SARA 2011 - [c31]Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency. SARA 2011 - 2010
- [c30]Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere:
A First Practical Algorithm for High Levels of Relational Consistency. AAAI 2010: 101-107 - [c29]Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere:
Relational consistency by constraint filtering. SAC 2010: 2073-2074 - 2007
- [c28]Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry:
An Interactive Constraint-Based Approach to Sudoku. AAAI 2007: 1976-1977 - [c27]Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock:
Reformulating CSPs for Scalability with Application to Geospatial Reasoning. CP 2007: 164-179 - [c26]Martin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry:
Exploiting automatically inferred constraint-models for building identification in satellite imagery. GIS 2007: 6 - [c25]Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock:
Reformulating Constraint Satisfaction Problems to Improve Scalability. SARA 2007: 64-79 - [c24]Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry:
Reformulating Constraint Models Using Input Data. SARA 2007: 402-404 - 2006
- [c23]Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry:
An Interactive Constraint-Based Approach to Minesweeper. AAAI 2006: 1933-1934 - 2005
- [c22]Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder:
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. AAAI 2005: 397-404 - [c21]Yaling Zheng, Berthe Y. Choueiry:
Applying Decomposition Methods to Crossword Puzzle Problems. CP 2005: 874 - [c20]Joel M. Gompert, Berthe Y. Choueiry:
A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. FLAIRS 2005: 167-174 - 2004
- [c19]Yang Shi, Anagh Lal, Berthe Y. Choueiry:
Evaluating Consistency Algorithms for Temporal Metric Constraints. AAAI 2004: 970-971 - [c18]Anagh Lal, Berthe Y. Choueiry:
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. CDB 2004: 149-167 - [c17]Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry:
A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. CP 2004: 817 - [c16]Venkata Praveen Guddeti, Berthe Y. Choueiry:
Characterization of a New Restart Strategy for Randomized Backtrack Search. CSCLP 2004: 56-70 - [c15]Yaling Zheng, Berthe Y. Choueiry:
New Structural Decomposition Techniques for Constraint Satisfaction Problems. CSCLP 2004: 113-127 - [c14]Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry:
An Interactive System for Hiring and Managing Graduate Teaching Assistants. ECAI 2004: 730-734 - 2003
- [c13]Lin Xu, Berthe Y. Choueiry:
Improving Backtrack Search for Solving the TCSP. CP 2003: 754-768 - [c12]Lin Xu, Berthe Y. Choueiry:
A New Efficient Algorithm for Solving the Simple Temporal Problem. TIME 2003: 212- - 2002
- [c11]Robert Glaubius, Berthe Y. Choueiry:
Constraint Modeling in the Context of Academic Task Assignment. CP 2002: 789 - [c10]Berthe Y. Choueiry, Amy M. Davis:
Dynamic Bundling: Less Effort for More Solutions. SARA 2002: 64-82 - 2001
- [c9]Amy M. Beckwith, Berthe Y. Choueiry, Hui Zou:
How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search. Australian Joint Conference on Artificial Intelligence 2001: 50-61 - [c8]Amy M. Beckwith, Berthe Y. Choueiry:
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. CP 2001: 760 - 1998
- [c7]Berthe Y. Choueiry, Guevara Noubir:
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. AAAI/IAAI 1998: 326-333 - 1996
- [c6]Rainer Weigel, Boi Faltings, Berthe Y. Choueiry:
Context in Discrete Constraint Satisfaction Problems. ECAI 1996: 205-212 - [c5]Guevara Noubir, Berthe Y. Choueiry:
Algebraic Techniques for the Optimization of Control Flow Checking. FTCS 1996: 128-137 - [c4]Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer:
Fault tolerant multiple observers using error control codes. ICNP 1996: 84-91 - 1995
- [c3]Berthe Y. Choueiry, Boi Faltings:
Using Abstractions for Resource Allocation. ICRA 1995: 1027-1033 - [c2]Berthe Y. Choueiry, Boi Faltings, Rainer Weigel:
Abstraction by Interchangeability in Resource Allocation. IJCAI 1995: 1694-1703 - 1994
- [c1]Berthe Y. Choueiry, Boi Faltings:
A Decomposition Heuristic for Resource Allocation. ECAI 1994: 585-589
Editorship
- 2000
- [e1]Berthe Y. Choueiry, Toby Walsh:
Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Lecture Notes in Computer Science 1864, Springer 2000, ISBN 3-540-67839-5 [contents]
Informal and Other Publications
- 2017
- [i2]Robert J. Woodward, Berthe Y. Choueiry:
Weight-Based Variable Ordering in the Context of High-Level Consistencies. CoRR abs/1711.00909 (2017) - 2010
- [i1]Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder:
A Partial Taxonomy of Substitutability and Interchangeability. CoRR abs/1010.4609 (2010)
Coauthor Index
aka: Shant Karakashian
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint