A Decomposition Heuristic for Resource Allocation. - Berthe Y. Choueiry; Boi Faltings (ECAI, 1994)

Using Abstractions for Resource Allocation. - Berthe Y. Choueiry; Boi Faltings (ICRA, 1995)

Abstraction by Interchangeability in Resource Allocation. - Berthe Y. Choueiry; Boi Faltings; Rainer Weigel (IJCAI, 1995)

Context in Discrete Constraint Satisfaction Problems. - Rainer Weigel; Boi Faltings; Berthe Y. Choueiry (ECAI, 1996)

Algebraic Techniques for the Optimization of Control Flow Checking. - Guevara Noubir; Berthe Y. Choueiry (FTCS, 1996)

Fault tolerant multiple observers using error control codes. - Guevara Noubir; Berthe Y. Choueiry; Henri J. Nussbaumer (ICNP, 1996)

On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. - Berthe Y. Choueiry; Guevara Noubir (AAAI/IAAI, 1998)

How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search. - Amy M. Beckwith; Berthe Y. Choueiry; Hui Zou (Australian Joint Conference on Artificial Intelligence, 2001)

On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. - Amy M. Beckwith; Berthe Y. Choueiry (CP, 2001)

Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). - Berthe Y. Choueiry; Toby Walsh (AI Mag., 2001)

Constraint Modeling in the Context of Academic Task Assignment. - Robert Glaubius; Berthe Y. Choueiry (CP, 2002)

Dynamic Bundling: Less Effort for More Solutions. - Berthe Y. Choueiry; Amy M. Davis (SARA, 2002)

Improving Backtrack Search for Solving the TCSP. - Lin Xu; Berthe Y. Choueiry (CP, 2003)

A New Efficient Algorithm for Solving the Simple Temporal Problem. - Lin Xu; Berthe Y. Choueiry (TIME, 2003)

Evaluating Consistency Algorithms for Temporal Metric Constraints. - Yang Shi; Anagh Lal; Berthe Y. Choueiry (AAAI, 2004)

Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. - Anagh Lal; Berthe Y. Choueiry (CDB, 2004)

A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. - Ryan Lim; Venkata Praveen Guddeti; Berthe Y. Choueiry (CP, 2004)

Characterization of a New Restart Strategy for Randomized Backtrack Search. - Venkata Praveen Guddeti; Berthe Y. Choueiry (CSCLP, 2004)

New Structural Decomposition Techniques for Constraint Satisfaction Problems. - Yaling Zheng; Berthe Y. Choueiry (CSCLP, 2004)

An Interactive System for Hiring and Managing Graduate Teaching Assistants. - Ryan Lim; Venkata Praveen Guddeti; Berthe Y. Choueiry (ECAI, 2004)

An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. - Berthe Y. Choueiry; Lin Xu (AI Commun., 2004)

Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. - Anagh Lal; Berthe Y. Choueiry; Eugene C. Freuder (AAAI, 2005)

Applying Decomposition Methods to Crossword Puzzle Problems. - Yaling Zheng; Berthe Y. Choueiry (CP, 2005)

A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. - Joel M. Gompert; Berthe Y. Choueiry (FLAIRS, 2005)

Towards a practical theory of reformulation for reasoning about physical systems. - Berthe Y. Choueiry; Yumi Iwasaki; Sheila A. McIlraith (Artif. Intell., 2005)

An Interactive Constraint-Based Approach to Minesweeper. - Kenneth M. Bayer; Josh Snyder; Berthe Y. Choueiry (AAAI, 2006)

An Interactive Constraint-Based Approach to Sudoku. - Christopher G. Reeson; Kai-Chen Huang; Kenneth M. Bayer; Berthe Y. Choueiry (AAAI, 2007)

Reformulating CSPs for Scalability with Application to Geospatial Reasoning. - Kenneth M. Bayer; Martin Michalowski; Berthe Y. Choueiry; Craig A. Knoblock (CP, 2007)

Exploiting automatically inferred constraint-models for building identification in satellite imagery. - Martin Michalowski; Craig A. Knoblock; Kenneth M. Bayer; Berthe Y. Choueiry (GIS, 2007)

Reformulating Constraint Satisfaction Problems to Improve Scalability. - Kenneth M. Bayer; Martin Michalowski; Berthe Y. Choueiry; Craig A. Knoblock (SARA, 2007)

Reformulating Constraint Models Using Input Data. - Martin Michalowski; Craig A. Knoblock; Berthe Y. Choueiry (SARA, 2007)

A First Practical Algorithm for High Levels of Relational Consistency. - Shant Karakashian; Robert J. Woodward; Christopher G. Reeson; Berthe Y. Choueiry; Christian Bessiere (AAAI, 2010)

Relational consistency by constraint filtering. - Shant Karakashian; Robert J. Woodward; Berthe Y. Choueiry; Christian Bessiere (SAC, 2010)

Preface. - Berthe Y. Choueiry; Bob Givan (Ann. Math. Artif. Intell., 2010)

A Partial Taxonomy of Substitutability and Interchangeability - Shant Karakashian; Robert J. Woodward; Berthe Y. Choueiry; Steven Prestwhich; Eugene C. Freuder (CoRR, 2010)

Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. - Robert J. Woodward; Shant Karakashian; Berthe Y. Choueiry; Christian Bessiere (AAAI, 2011)

Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. - Robert J. Woodward; Shant Karakashian; Berthe Y. Choueiry; Christian Bessiere (AAAI, 2011)

Reformulating R(*, m)C with Tree Decomposition. - Shant Karakashian; Robert J. Woodward; Berthe Y. Choueiry (SARA, 2011)

A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. - Amanda Swearngin; Berthe Y. Choueiry; Eugene C. Freuder (SARA, 2011)

Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency. - Robert J. Woodward; Shant Karakashian; Berthe Y. Choueiry; Christian Bessiere (SARA, 2011)

Revisiting Neighborhood Inverse Consistency on Binary CSPs. - Robert J. Woodward; Shant Karakashian; Berthe Y. Choueiry; Christian Bessiere (CP, 2012)

Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers. - Daniel J. Geschwender; Shant Karakashian; Robert J. Woodward; Berthe Y. Choueiry; Stephen D. Scott 001 (AAAI, 2013)

Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition. - Shant Karakashian; Robert J. Woodward; Berthe Y. Choueiry (AAAI, 2013)

Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. - Anthony Schneider; Robert J. Woodward; Berthe Y. Choueiry; Christian Bessiere (CP, 2014)

Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. - Robert J. Woodward; Anthony Schneider; Berthe Y. Choueiry; Christian Bessiere (CP, 2014)

Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. - Daniel J. Geschwender; Robert J. Woodward; Berthe Y. Choueiry (AAAI, 2015)

Cycle-Based Singleton Local Consistencies. - Robert J. Woodward; Berthe Y. Choueiry; Christian Bessiere (AAAI, 2017)

Weight-Based Variable Ordering in the Context of High-Level Consistencies. - Robert J. Woodward; Berthe Y. Choueiry (CoRR, 2017)

PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. - Anthony Schneider; Berthe Y. Choueiry (CP, 2018)

Solving Sudoku with Consistency: A Visual and Interactive Approach. - Ian Howell; Robert J. Woodward; Berthe Y. Choueiry; Christian Bessiere (IJCAI, 2018)

A Reactive Strategy for High-Level Consistency During Search. - Robert J. Woodward; Berthe Y. Choueiry; Christian Bessiere (IJCAI, 2018)

Visualizations to Summarize Search Behavior. - Ian Howell; Berthe Y. Choueiry; Hongfeng Yu 001 (CP, 2020)