List of technical reports:

1. Weight-Based Variable Ordering in the Context of High-Level Consistencies.
Robert J. Woodward, Berthe Y. Choueiry (2017)
• arXiv Link
• PDF
• Bibtex entry


2. Witnessing Solution Counting in Tree-Structured Methods for CSPs.
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere (2016)
• PDF
• Bibtex entry


3. Cycle-Based Singleton Local Consistencies.
Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere (2016)
• PDF
• Bibtex entry


4. A Portfolio Approach for Enforcing Minimality in a Tree Decomposition.
Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott (2016)
• PDF
• Bibtex entry


5. Configuring Random CSP Generators to Favor a Particular Consistency Algorithm.
Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry (2014)
• PDF
• Bibtex entry


6. An Algorithm for Generating All Connected Subgraphs with k Vertices of a Graph.
Shant Karakashian, Berthe Y. Choueiry, and Stephen G. Hartke (2013)
• PDF
• Bibtex entry


7. Exploiting Structure in Constraint Propagation.
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere, and David B. Marx (2012)
• PDF
• Bibtex entry


8. Algorithms for the Minimal Network of a CSP and a Classifier for Choosing Between Them.
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott (2012)
• PDF
• Bibtex entry


9. Relational Neighborhood Inverse Consistency for Constraint Satisfaction.
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere (2011)
• PDF
• Bibtex entry


10. Tree-Based Algorithms for Computing k-Combinations and k-Compositions.
Shant Karakashian and Berthe Y. Choueiry (2010)
• PDF
• Bibtex entry


11. Exploring Parameterized Relational Consistency.
Shant K. Karakashian, Robert J. Woodward and Berthe Y. Choueiry (2009)
• PDF
• Bibtex entry


12. Flocking over 3D Terrain.
Joel Gompert (2003)
• CSL-03-01.ps (ps document)
• Bibtex entry


13. A Generator for Random Non-Binary Finite Constraint Satisfaction Problems
    Hui Zou, Berthe Y. Choueiry, Amy M. Davis (2002)
    • Code in C, tarred and gzipped
    • CSL-02-01.ps
    • Bibtex entry


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


15. Effects of Dynamic Ordering and Bundling on the Solution Space of Finite Constraint Satisfaction Problems
    Amy M. Beckwith and Berthe Y. Choueiry (2001)
    • CSL-01-03.ps
    • Bibtex entry


16. Techniques for Bundling the Solution Space of Finite Constraint Satisfaction Problems.
    Berthe Y. Choueiry and Amy M. Beckwith (2001)
    • CSL-01-02.ps
    • Bibtex entry


17. 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)
    • Code in C, tarred and gzipped Hui Zou (hzou @ cse.unl.edu)
    • CSL-01-01.doc (MSWord document)
    • Bibtex entry