| 2020 | CP | Visualizations to Summarize Search Behavior. | Ian Howell, Berthe Y. Choueiry, Hongfeng Yu |
| 2018 | CP | PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. | Anthony Schneider, Berthe Y. Choueiry |
| 2018 | IJCAI | Solving Sudoku with Consistency: A Visual and Interactive Approach. | Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2018 | IJCAI | A Reactive Strategy for High-Level Consistency During Search. | Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2017 | AAAI | Cycle-Based Singleton Local Consistencies. | Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2015 | AAAI | Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. | Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry |
| 2014 | CP | Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. | Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2014 | CP | Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. | Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere |
| 2013 | AAAI | 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 |
| 2013 | AAAI | Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition. | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry |
| 2012 | CP | Revisiting Neighborhood Inverse Consistency on Binary CSPs. | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| 2011 | AAAI | Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| 2011 | AAAI | Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| 2010 | AAAI | A First Practical Algorithm for High Levels of Relational Consistency. | Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere |
| 2010 | SAC | Relational consistency by constraint filtering. | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
| 2007 | AAAI | An Interactive Constraint-Based Approach to Sudoku. | Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry |
| 2007 | CP | Reformulating CSPs for Scalability with Application to Geospatial Reasoning. | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
| 2006 | AAAI | An Interactive Constraint-Based Approach to Minesweeper. | Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry |
| 2005 | AAAI | Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. | Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder |
| 2005 | CP | Applying Decomposition Methods to Crossword Puzzle Problems. | Yaling Zheng, Berthe Y. Choueiry |
| 2005 | FlAIRS | A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. | Joel M. Gompert, Berthe Y. Choueiry |
| 2004 | AAAI | Evaluating Consistency Algorithms for Temporal Metric Constraints. | Yang Shi, Anagh Lal, Berthe Y. Choueiry |
| 2004 | CP | A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. | Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry |
| 2004 | ECAI | An Interactive System for Hiring and Managing Graduate Teaching Assistants. | Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry |
| 2003 | CP | Improving Backtrack Search for Solving the TCSP. | Lin Xu, Berthe Y. Choueiry |
| 2003 | TIME | A New Efficient Algorithm for Solving the Simple Temporal Problem. | Lin Xu, Berthe Y. Choueiry |
| 2002 | CP | Constraint Modeling in the Context of Academic Task Assignment. | Robert Glaubius, Berthe Y. Choueiry |
| 2001 | CP | On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. | Amy M. Beckwith, Berthe Y. Choueiry |
| 1998 | AAAI | On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. | Berthe Y. Choueiry, Guevara Noubir |
| 1996 | ECAI | Context in Discrete Constraint Satisfaction Problems. | Rainer Weigel, Boi Faltings, Berthe Y. Choueiry |
| 1996 | ICNP | Fault tolerant multiple observers using error control codes. | Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer |
| 1995 | IJCAI | Abstraction by Interchangeability in Resource Allocation. | Berthe Y. Choueiry, Boi Faltings, Rainer Weigel |
| 1995 | ICRA | Using Abstractions for Resource Allocation. | Berthe Y. Choueiry, Boi Faltings |
| 1994 | ECAI | A Decomposition Heuristic for Resource Allocation. | Berthe Y. Choueiry, Boi Faltings |