Berthe Y. Choueiry

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 6

Top Topics

Search Behavior

Constraint Satisfaction Problems

Path Consistency

Top Venues

Publications

Ian Howell, Berthe Y. Choueiry, Hongfeng Yu
Visualizations to Summarize Search Behavior. CP (2020)
Anthony Schneider, Berthe Y. Choueiry
PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. CP (2018)
Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
A Reactive Strategy for High-Level Consistency During Search. IJCAI (2018)
Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Solving Sudoku with Consistency: A Visual and Interactive Approach. IJCAI (2018)
Robert J. Woodward, Berthe Y. Choueiry
Weight-Based Variable Ordering in the Context of High-Level Consistencies. CoRR (2017)
Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Cycle-Based Singleton Local Consistencies. AAAI (2017)
Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. AAAI (2015)
Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. CP (2014)
Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. CP (2014)
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)
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)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Revisiting Neighborhood Inverse Consistency on Binary CSPs. CP (2012)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. AAAI (2011)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. AAAI (2011)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry
Reformulating R(*, m)C with Tree Decomposition. SARA (2011)
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)
Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. SARA (2011)
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)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder
A Partial Taxonomy of Substitutability and Interchangeability CoRR (2010)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Relational consistency by constraint filtering. SAC (2010)
Berthe Y. Choueiry, Bob Givan
Preface. Ann. Math. Artif. Intell. 58 (3-4) (2010)
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
Reformulating CSPs for Scalability with Application to Geospatial Reasoning. CP (2007)
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
Reformulating Constraint Satisfaction Problems to Improve Scalability. SARA (2007)
Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry
An Interactive Constraint-Based Approach to Sudoku. AAAI (2007)
Martin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry
Exploiting automatically inferred constraint-models for building identification in satellite imagery. GIS (2007)
Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry
Reformulating Constraint Models Using Input Data. SARA (2007)
Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry
An Interactive Constraint-Based Approach to Minesweeper. AAAI (2006)
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith
Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162 (1-2) (2005)
Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. AAAI (2005)
Yaling Zheng, Berthe Y. Choueiry
Applying Decomposition Methods to Crossword Puzzle Problems. CP (2005)
Joel M. Gompert, Berthe Y. Choueiry
A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. FLAIRS Conference (2005)
Venkata Praveen Guddeti, Berthe Y. Choueiry
Characterization of a New Restart Strategy for Randomized Backtrack Search. CSCLP (2004)
Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry
A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. CP (2004)
Anagh Lal, Berthe Y. Choueiry
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. CDB (2004)
Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry
An Interactive System for Hiring and Managing Graduate Teaching Assistants. ECAI (2004)
Berthe Y. Choueiry, Lin Xu
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. AI Commun. 17 (4) (2004)
Yaling Zheng, Berthe Y. Choueiry
New Structural Decomposition Techniques for Constraint Satisfaction Problems. CSCLP (2004)
Yang Shi, Anagh Lal, Berthe Y. Choueiry
Evaluating Consistency Algorithms for Temporal Metric Constraints. AAAI (2004)
Lin Xu, Berthe Y. Choueiry
A New Efficient Algorithm for Solving the Simple Temporal Problem. TIME (2003)
Lin Xu, Berthe Y. Choueiry
Improving Backtrack Search for Solving the TCSP. CP (2003)
Berthe Y. Choueiry, Amy M. Davis
Dynamic Bundling: Less Effort for More Solutions. SARA (2002)
Robert Glaubius, Berthe Y. Choueiry
Constraint Modeling in the Context of Academic Task Assignment. CP (2002)
Amy M. Beckwith, Berthe Y. Choueiry
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. CP (2001)
Berthe Y. Choueiry, Toby Walsh
Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Mag. 22 (1) (2001)
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)
Berthe Y. Choueiry, Guevara Noubir
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. AAAI/IAAI (1998)
Guevara Noubir, Berthe Y. Choueiry
Algebraic Techniques for the Optimization of Control Flow Checking. FTCS (1996)
Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer
Fault tolerant multiple observers using error control codes. ICNP (1996)
Rainer Weigel, Boi Faltings, Berthe Y. Choueiry
Context in Discrete Constraint Satisfaction Problems. ECAI (1996)
Berthe Y. Choueiry, Boi Faltings
Using Abstractions for Resource Allocation. ICRA (1995)
Berthe Y. Choueiry, Boi Faltings, Rainer Weigel
Abstraction by Interchangeability in Resource Allocation. IJCAI (1995)
Berthe Y. Choueiry, Boi Faltings
A Decomposition Heuristic for Resource Allocation. ECAI (1994)