ConSystLab About News Our Work Resources Courses
 
Our work: Publications

Peer-reviewed publications: (in reverse chronological order)

    2020
  1. Visualizations to Summarize Search Behavior
    Ian S. Howell, Berthe Y. Choueiry, and Hongfeng Yu

    2. 2018
  2. PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints
    Anthony Schneider and Berthe Y. Choueiry

  3. A Reactive Strategy for High-Level Consistency During Search
    Robert J. Woodward, and Berthe Y. Choueiry, and Christian Bessiere

  4. Qualitative Analysis of Search Behavior: A Visual Approach
    Ian Howell, Robert Woodward, Berthe Y. Choueiry, Hongfeng Yu

  5. Solving Sudoku with Consistency: A Visual and Interactive Approach
    Ian Howell, Robert Woodward, Berthe Y. Choueiry, Christian Bessiere
    • Demonstration Track of IJCAI 2018 (PDF) © IJCAI
    • Bibtex

    6. 2017
  6. 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
  7. A Portfolio Approach for Enforcing Minimality in a Tree Decomposition
    Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott

    8. 2015
  8. 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
  9. Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
    Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere

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

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

  12. 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
  13. Revisiting Neighborhood Inverse Consistency on Binary CSPs
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere

  14. Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition
    Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry
    2011
  15. Multi-Dimensional Models Facilitate Automatic Reformulation: The Case Study of the SET Game
    Amanda Swearngin, Berthe Y. Choueiry, and Eugene C. Freuder

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

  17. 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

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

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

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

    21. 2010
  21. 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.)

  22. 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)

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

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

  25. Relational Consistency by Constraint Filtering
    Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere
    26. 2007
  26. Exploiting Automatically Inferred Constraint Models for Building Identification in Satellite Imagery
    Martin Michalowski, Craig A. Knoblock, Ken M. Bayer, and Berthe Y. Choueiry
  27. 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

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

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

  31. Reformulating Constraint Satisfaction Problems to Improve Scalability
    Ken M. Bayer, Martin Michalowski, Berthe Y. Choueiry, and Craig A. Knoblock
    32. 2006
  32. An Interactive Constraint-Based Approach to Minesweeper
    Ken Bayer, Joshua Snyder, and Berthe Y. Choueiry
    33. 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
  40. An Empirical Study of a New Restart Strategy for Randomized Backtrack Search
    Venkata Praveen Guddeti and Berthe Y. Choueiry

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

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

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

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

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

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

  49. Constraint Satisfaction
    Berthe Y. Choueiry

  50. Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
    Anagh Lal and Berthe Y. Choueiry
    51. 2003
  51. 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

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

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

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

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

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

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

  58. 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
    59. 2002
  59. Dynamic Bundling: Less Effort for More Solutions
    Berthe Y. Choueiry and Amy M. Davis

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

  61. Constraint Modeling and Reformulation in the Context of Academic Task Assignment
    Robert Glaubius and Berthe Y. Choueiry
    62. 2001
  62. On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems
    Amy M. Beckwith and Berthe Y. Choueiry

  63. 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
    64. 2000
  64. Proceedings of the Symposium on Abstraction, Reformulation and Approximation
    Berthe Y. Choueiry and Toby Walsh