Peer-reviewed publications: (in reverse chronological order)

    2017
  1. Cycle-Based Singleton Local Consistencies
    Robert J. Woodward, and Berthe Y. Choueiry, and Christian Bessiere
    • Student Abstract and Poster Program of AAAI 2017 (PDF) © AAAI Press
    • Bibtex
    • Poster (PPTX, PDF)


    2016
  2. A Portfolio Approach for Enforcing Minimality in a Tree Decomposition
    Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott


  3. 2015
  4. Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators
    Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry
    • Student Abstract and Poster Program of AAAI 2015 (PDF) © AAAI Press
    • Bibtex
    • Poster (PPTX, PDF)


    2014
  5. Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
    Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere

  6. Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports
    Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, and Christian Bessiere


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

  8. Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers
    Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott
    • Pre-Doctoral Student Abstract and Poster Program of AAAI 2013 (PDF) © AAAI Press
    • Bibtex
    • Poster (PPTX, PDF)

    2012
  9. Revisiting Neighborhood Inverse Consistency on Binary CSPs
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

  10. Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition
    Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry

    2011
  11. Multi-Dimensional Models Facilitate Automatic Reformulation: The Case Study of the SET Game
    Amanda Swearngin, Berthe Y. Choueiry, and Eugene C. Freuder

  12. Reformulating R$(*,m)C with Tree Decomposition
    Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry

  13. Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

  14. A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game
    Amanda Swearngin, Berthe Y. Choueiry, and Eugene C. Freuder

  15. Solving Difficult CSPs with Relational Neighborhood Inverse Consistency
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

  16. Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere


  17. 2010
  18. An Algorithm for Generating All Connected Subgraphs of k Vertices of a Graph
    Shant Karakashian, Berthe Y. Choueiry, and Stephen G. Hartke
    (Submitted for a journal publication.)

  19. Annals of Artificial Intelligence and Mathematics
    Selected Papers from the Tenth International Symposium on Artificial Intelligence and Mathematics.
    Volume 58, Issues 3-4, 2010.
    Berthe Y. Choueiry and Bob Givan (Editors)

  20. A Partial Taxonomy of Substitutability and Interchangeability
    Shant Karakashian, Robert Woodward, Berthe Y. Choueiry, Steven Prestwhich, and Eugene C. Freuder

  21. A First Practical Algorithm for High Levels of Relational Consistency
    Shant Karakashian, Robert Woodward, Christopher Reeson, Berthe Y. Choueiry, and Christian Bessiere

  22. Relational Consistency by Constraint Filtering
    Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere

  23. 2007
  24. Exploiting Automatically Inferred Constraint Models for Building Identification in Satellite Imagery
    Martin Michalowski, Craig A. Knoblock, Ken M. Bayer, and Berthe Y. Choueiry
  25. Exploiting Problem Data to Enrich Models of Constraint Problems
    Martin Michalowski, Craig A. Knoblock, and Berthe Y. Choueiry
    • Sixth International Workshop On Constraint Modeling and Reformulation (ModRef'07) (PS, PDF).
    • Poster: PNG
    • Bibtex entry

  26. Reformulating CSPs for Scalability with Application to Geospatial Reasoning
    Ken M. Bayer, Martin Michalowski, Berthe Y. Choueiry, and Craig A. Knoblock
  27. An Interactive Constraint-Based Approach to Sudoku
    Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, and Berthe Y. Choueiry

  28. Reformulating Constraint Models Using Input Data
    Martin Michalowski, Craig A. Knoblock, and Berthe Y. Choueiry

  29. Reformulating Constraint Satisfaction Problems to Improve Scalability
    Ken M. Bayer, Martin Michalowski, Berthe Y. Choueiry, and Craig A. Knoblock

  30. 2006
  31. An Interactive Constraint-Based Approach to Minesweeper
    Ken Bayer, Joshua Snyder, and Berthe Y. Choueiry

  32. 2005
  33. Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs
    Anagh Lal, Berthe Y. Choueiry, and Eugene C. Freuder

  34. Applying Decomposition Methods to Crossword Puzzle Problems
    Yaling Zheng

  35. Real-time Simulation of Herds Moving Over Terrain
    Joel Gompert
    • First Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2005) (PS, PDF)
    • PosterPPT
    • Bibtex entry

  36. A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search
    Joel Gompert and Berthe Y. Choueiry

  37. New Structural Decomposition Techniques for Constraint Satisfaction Problems
    Yaling Zheng and Berthe Y. Choueiry

  38. Characterization of a New Restart Strategy for Randomized Backtrack Search
    Venkata Praveen Guddeti and Berthe Y. Choueiry

  39. Towards a Practical Theory of Reformulation for Reasoning About Physical Systems
    Berthe Y. Choueiry, Yumi Iwasaki, and Sheila McIlraith

  40. 2004
  41. An Empirical Study of a New Restart Strategy for Randomized Backtrack Search
    Venkata Praveen Guddeti and Berthe Y. Choueiry

  42. An Efficient Consistency Algorithm for the Temporal Constraint Satisfaction Problem
    Berthe Y. Choueiry and Lin Xu
  43. Local Search With Maximal Independent Sets
  44. Joel M. Gompert
  45. A Dynamic Restart Strategy for Randomized BT Search
    Venkata Praveen Guddeti

  46. A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants
    Ryan Lim, Praveen Guddeti, and Berthe Y. Choueiry

  47. Cut-and-Traverse: A New Structural Decomposition Strategy for Finite Constraint Satisfaction Problems
    Yaling Zheng and Berthe Y. Choueiry

  48. Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs
    Anagh Lal, Berthe Y. Choueiry, and Eugene C. Freuder

  49. An Interactive System for Hiring and Managing Graduate Teaching Assistants
    Ryan Lim, Venkata Praveen Guddeti, and Berthe Y. Choueiry

  50. Evaluating Consistency Algorithms for Temporal Metric Constraints
    Yang Shi, Anagh Lal, and Berthe Y. Choueiry

  51. Constraint Satisfaction
    Berthe Y. Choueiry

  52. Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
    Anagh Lal and Berthe Y. Choueiry

  53. 2003
  54. Characterizing the Behavior of a Multi-Agent Search by Using it to Solve a Tight, Real-World Resource Allocation Problem
    Hui Zou and B.Y. Choueiry

  55. Dynamic Detection and Exploitation of Value Symmetries for Non-Binary Finite CSPs
  56. Anagh Lal and Berthe Y. Choueiry

  57. Improving Backtrack Search for Solving the TCSP
    Lin Xu and Berthe Y. Choueiry

  58. A New Efficient Algorithm for Solving the Simple Temporal Problem
    Lin Xu and Berthe Y. Choueiry

  59. An Approximation of Generalized Arc-Consistency for TCSP
    Lin Xu and Berthe Y. Choueiry

  60. Efficient Techniques for Searching the TCSP
    Lin Xu and Berthe Y. Choueiry

  61. Multi-agent Based Search versus Local Search and Backtrack Search for Solving Tight CSPs: A Practical Case Study
    Hui Zou and Berthe Y. Choueiry

  62. Abstraction and Reformulation in Artificial Intelligence
    Robert C. Holte and Berthe Y. Choueiry
    • Philosophical Transactions of the Royal Society: Biological Sciences, June 2003. (PDF)
    • Bibtex entry

  63. 2002
  64. Dynamic Bundling: Less Effort for More Solutions
    Berthe Y. Choueiry and Amy M. Davis

  65. Constraint Modeling in the Context of Academic Task Assignment
    Robert Glaubius and Berthe Y. Choueiry

  66. Constraint Modeling and Reformulation in the Context of Academic Task Assignment
    Robert Glaubius and Berthe Y. Choueiry

  67. 2001
  68. On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems
    Amy M. Beckwith and Berthe Y. Choueiry

  69. How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search
    Amy M. Beckwith, Berthe Y. Choueiry, and Hui Zou
    • Australian Joint Conference on Artificial Intelligence (PDF) © Springer
    • Bibtex entry

  70. 2000
  71. Proceedings of the Symposium on Abstraction, Reformulation and Approximation
    Berthe Y. Choueiry and Toby Walsh