Posters presented at official events: (in reverse chronological order)


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

  2. A Portfolio Approach for Enforcing Minimality in a Tree Decomposition
    Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry
    CP Doctoral Programme 2016 (PPTX, PDF)

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

  4. Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
    Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere
    CP Doctoral Programme 2014 (PPTX, PDF)

  5. Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports
    Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, and Christian Bessiere
    CP Doctoral Programme 2014 (PPTX, PDF)

  6. Configuring Random CSP Generators to Favor a Particular Consistency Algorithm
    Daniel Geschwender, Robert Woodward, and Berthe Y. Choueiry
    UNL Undergraduate Research Conference 2014 (PPTX, PDF)

  7. Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers
    Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry, and Stephen D. Scott
    AAAI 2011 Student Abstract and Poster Program (PPTX, PDF)

  8. Visualization for Reformulation Algorithm of Game of Set
    Keegan Lunn, Hongfeng Yu, and Berthe Y. Choueiry
    UNL Undergraduate Research Conference 2013 (PPTX, PDF)

  9. Revisiting Neighborhood Inverse Consistency on Binary CSPs
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere
    • CP Doctoral Programme 2012 (PPTX, PDF)
    • CP 2012: Poster of the Main Technical Track (PPTX, PDF)

  10. Practical Tractability of CSPs by Higher-Level Consistency and Tree Decomposition
    Shant Karakashian, Robert Woodward, and Berthe Y. Choueiry
    CP Doctoral Programme 2012. Poster: PPTX, PDF

  11. Interactive Visualization of Satisfiability Solving
    Mary D. Burke, Daniel Geschwender, Keegan Lunn, Margaret Krause, Berthe Y. Choueiry, and Matthew Dwyer
    Grace Hopper 2012: General Poster Session (PPTX, PDF)

  12. Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs
    Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere
    AAAI 2011 Student Abstract and Poster Program.

  13. Maintaining Consistency in Resource Allocation (PPT)
    Trevor Janke and Berthe Y. Choueiry
    UNL's Undergraduate Research Conference 2011. April 2011.

  14. When a Little Reasoning Saves a Lot of Hard Work (PPT)
    Robert J. Woodward and Berthe Y. Choueiry
    UNL's Undergraduate Research Conference 2009. April 2009.

  15. An Interactive Constraint-Based Approach to Sudoku (PPT)
    Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, and Berthe Y. Choueiry
    AAAI 2007. July 2007.

  16. A Constraint-Based Approach to Solving Minesweeper (PPT)
    Ken Bayer, Josh Snyder, and Berthe Y. Choueiry
    AAAI 2006. July 2006.

  17. Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs (PPT)
    Anagh Lal, Berthe Y. Choueiry, and Eugene C. Freuder
    AAAI 2005. June 2005.


  18. Real-Time Simulation of Herds Moving Over Terrain (PPT)
    Joel Gompert
    AIIDE 2005. May 2005.


  19. A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants (PPT)
    Ryan Lim, Venkata Praveen Guddeti, and Berthe Y. Choueiry
    System Demonstration Track, CP 2004. October 2004.


  20. Evaluating Consistency Algorithms for Temporal Metric Constraints (PPT, PDF)
    Yang Shi, Anagh Lal, and Berthe Y. Choueiry.
    AAAI 04, July 2004.


  21. An Interactive, Constraint-Based System for Task Allocation in an Academic Environment (PPT, PDF)
    Ryan Lim, Venkata Praveen Guddeti, and Berthe Y. Choueiry.
    ICAPS 04, June 2004.


  22. An Interactive, Constraint-Based System for Task Allocation in an Academic Environment (PPT).
    Ryan Lim, Venkata Praveen Guddeti, Venkateshwar Rao Thota, Hui Zou, and Berthe Y. Choueiry
    • Student research Poster Competition, of the Nebraska Chapter of Sigma Xi and UNL Research and Graduate Studies, Lincoln, NE, 2004
    • CSE Technical Fair, Lincoln, NE, 2004.

  23. Constraint Modeling and Reformulation in the Context of Academic Task Assignment (PPT).
    Robert Glaubius and Berthe Y. Choueiry. SARA 2002, August 2002.


  24. Dynamically Detecting and Exploiting Symmetry in Finite Constraint Satisfaction Problem (postscript)
    Amy M. Davis and Berthe Y. Choueiry.
    Nebraska Academy of Sciences, 2001


  25. A Constraint Processing Approach to Assigning Graduate Teaching Assistants to Courses (postscript)
    Robert Glaubius and Berthe Y. Choueiry.
    Nebraska Academy of Sciences, 2001

Posters to demonstrate/summarize the progress of our work to visitors: (in reverse chronological order)



  1. A New Dynamic Restart Strategy for Randomized Backtrack Search (PPT)
    Venkata Praveen Guddeti and Berthe Y. Choueiry, September 2004


  2. Using Maximal Independent Sets of a Constraint Graphs to Improve Search (with Validation on Local Search) (PPT)
    Joel Gompert and Berthe Y. Choueiry, September 2004


  3. Cut-and-Traverse: A New Structural Decomposition Technique for CSPs (PPT)
    Yaling Zheng and Berthe Y. Choueiry, September 2004


  4. Dynamic Bundling for Non-Binary CSPs and Databases (PPT)
    Anagh Lal and Berthe Y. Choueiry, September 2004


  5. An Interactive, Constraint-Based System for Task Allocation in an Academic Environment (PPT, PDF)
    Ryan Lim, Venkata Praveen Guddeti, Venkateshwar Rao Thota, Hui Zou, and Berthe Y. Choueiry, Sigma Xi 04


  6. Herds Moving Over 3D Terrain (PPT)
    Joel Gompert, April 2003.


  7. Consistency Methods for Temporal Reasoning (PPT)
    Xu Lin and Berthe Y. Choueiry, April 2003.


  8. Robust Planning Using Constraint Satisfaction Techniques (PPT)
    Daniel Buettner and Berthe Y. Choueiry, April 2003.


  9. Multi-Agent Based Search versus Local Search and Backtrack Search fpr Tight CSPs: Solving a Real-World Case Study (PPT)
    Zou Hui and Berthe Y. Choueiry, April 2003.


  10. Empirical Comparison of Preprocessing and Lookahead Techniques for Binary Constaint Satisfaction Problems (PPT)
    Zheying (Jane) Yang and Berthe Y. Choueiry, April 2003.


  11. Shortcomings of Traditional Backtrack Search on Large, Tight CSPs: A Real-World Example (PPT)
    Praveen Guddeti and Berthe Y. Choueiry, April 2003.


  12. An Interactive System for Hiring and Managing Graduate Teaching Assitants at the Department of Computer Science and Engineering (PPT)
    Ryan Lim and Berthe Y. Choueiry, April 2003.