List of technical reports:


  1. Witnessing Solution Counting in Tree-Structured Methods for CSPs.
  2. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere (2016)
  3. Cycle-Based Singleton Local Consistencies.
  4. Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere (2016)
  5. A Portfolio Approach for Enforcing Minimality in a Tree Decomposition.
  6. Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott (2016)
  7. Configuring Random CSP Generators to Favor a Particular Consistency Algorithm.
  8. Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry (2014)
  9. An Algorithm for Generating All Connected Subgraphs with k Vertices of a Graph.
  10. Shant Karakashian, Berthe Y. Choueiry, and Stephen G. Hartke (2013)
  11. Exploiting Structure in Constraint Propagation.
  12. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere, and David B. Marx (2012)
  13. Algorithms for the Minimal Network of a CSP and a Classifier for Choosing Between Them.
  14. Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott (2012)
  15. Relational Neighborhood Inverse Consistency for Constraint Satisfaction.
  16. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere (2011)
  17. Tree-Based Algorithms for Computing k-Combinations and k-Compositions.
  18. Shant Karakashian and Berthe Y. Choueiry (2010)
  19. Exploring Parameterized Relational Consistency.
  20. Shant K. Karakashian, Robert J. Woodward and Berthe Y. Choueiry (2009)
  21. Flocking over 3D Terrain.
  22. Joel Gompert (2003)
  23. A Generator for Random Non-Binary Finite Constraint Satisfaction Problems
    Hui Zou, Berthe Y. Choueiry, Amy M. Davis (2002)

  24. On Finding the First Solution Bundle in Finite Constraint Satisfaction Problems
    Berthe Y. Choueiry and Amy M. Beckwith (2001)
    • CSL-01-04.ps
    • Bibtex entry

  25. Effects of Dynamic Ordering and Bundling on the Solution Space of Finite Constraint Satisfaction Problems
    Amy M. Beckwith and Berthe Y. Choueiry (2001)

  26. Techniques for Bundling the Solution Space of Finite Constraint Satisfaction Problems.
    Berthe Y. Choueiry and Amy M. Beckwith (2001)

  27. A Generator for Random Instances of Binary Finite Constraint Satisfaction Problems with Controllable Levels of Interchangeability.
    Hui Zou, Amy M. Beckwith, Berthe Y. Choueiry (2001)