Peer Reviewed Publications

  1. Robert J. Woodward, and Berthe Y. Choueiry, and Christian Bessiere. "Cycle-Based Singleton Local Consistencies." Student Abstract and Poster Program, AAAI Conference on Artificial Intelligence. Pages 5005-5006. San Francisco, CA. 2017. (PDF, bib)
  2. Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott. "A Portfolio Approach for Enforcing Minimality in a Tree Decomposition." Proceedings of the Doctoral Program of CP 2016. 10 pages. Toulouse, France. 2016. (PDF, bib)
  3. Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry. "Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators." Student Abstract and Poster Program, AAAI Conference on Artificial Intelligence. Pages 4162—4163. Austin, TX. 2015. (PDF, bib)
  4. Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere. "Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning." Twentieth International Conference on Principles and Practice of Constraint Programming (CP 2014). Pages 688-704. Lyon, France. 2014. (PDF, bib)
  5. Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, and Christian Bessiere. "Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports." Twentieth International Conference on Principles and Practice of Constraint Programming (CP 2014). Pages 755-764. Lyon, France. 2014. (PDF, bib)
  6. Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry. "Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition." AAAI Conference on Artificial Intelligence (AAAI 2013). Pages 466-473. Bellevue, WA. 2013. (PDF, bib)
  7. Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott. "Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers ." Pre-Doctoral Student Abstract and Poster Program, AAAI Conference on Artificial Intelligence (AAAI 2013). Pages 1830-1831. Bellevue, WA. 2013. (PDF, bib)
  8. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere. "Revisiting Neighborhood Inverse Consistency on Binary CSPs." Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012). Pages 688-703. Québec City, Canada. 2012. (PDF, bib)
  9. Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry. "Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition." Proceedings of the Doctoral Program of CP 2012. Pages 31-36. Québec City, Canada. 2012. (PDF, bib)
  10. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere. "Solving Difficult CSPs with Relational Neighborhood Inverse Consistency." Main Technical Program of the AAAI Conference on Artificial Intelligence. Pages 112-119. San Francisco, CA. 2011. (PDF, bib)
  11. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere. "Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs." Student Abstract and Poster Program, AAAI Conference on Artificial Intelligence. Pages 1-2. San Francisco, CA. 2011. (PDF, bib)
  12. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere. "Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency." Symposium on Abstraction, Reformulation, and Approximation (SARA 2011). Pages 140-148. Catalonia, Spain. 2011. (PDF, bib)
  13. Karakashian, Shant, Robert J. Woodward, and Berthe Y. Choueiry. "Reformulating R(*,m)C with Tree Decomposition." Symposium on Abstraction, Reformulation, and Approximation (SARA 2011). Pages 62-69. Catalonia, Spain. 2011. (PDF, bib)
  14. Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, and Eugene C. Freuder. "A Partial Taxonomy of Substitutability and Interchangeability." International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 10). Pages 1-18. St Andrews, Scotland. 2010. (PDF, bib)
  15. Shant Karakashian, Robert J. Woodward, Christopher Reeson, Berthe Y. Choueiry, and Christian Bessiere. "A First Practical Algorithm for High Levels of Relational Consistency." AAAI Conference on Artificial Intelligence. Pages 1-7. Atlanta, GA. 2010. (PDF, bib)
  16. Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere. "Relational Consistency by Constraint Filtering." 25th ACM Symposium On Applied Computing (ACM SAC 10). Pages 2073-2074. Sierre, Switzerland. 2010. (PDF, bib)

Other Publications

  1. Robert J. Woodward, Berthe Y. Choueiry. "Weight-Based Variable Ordering in the Context of High-Level Consistencies." ArXiv e-prints, November 2017. (PDF, bib)
  2. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere. "Witnessing Solution Counting in Tree-Structured Methods for CSPs." Technical Report TR-UNL-CSE-2016-0006, Lincoln, NE. 2016. (PDF, bib)
  3. Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere. "Cycle-Based Singleton Local Consistencies." Technical Report TR-UNL-CSE-2016-0004, Lincoln, NE. 2016. (PDF, bib)
  4. Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott. "A Portfolio Approach for Enforcing Minimality in a Tree Decomposition." Technical Report TR-UNL-CSE-2016-0003, Lincoln, NE. 2016. (PDF, bib)
  5. Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry. "Configuring Random CSP Generators to Favor a Particular Consistency Algorithm." Technical Report TR-UNL-CSE-2014-0003, Lincoln, NE. 2014. (PDF, bib)
  6. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere, and David B. Marx. "Exploiting Structure in Constraint Propagation." Technical Report TR-UNL-CSE-2012-0010, Lincoln, NE. 2012. (PDF, bib)
  7. Karakashian, Shant K., Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott. "Algorithms for the Minimal Network of a CSP and a Classifier for Choosing Between Them." Technical Report TR-UNL-CSE-2012-0007, Lincoln, NE. 2012. (PDF, bib)
  8. Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry. "Relational Neighborhood Inverse Consistency for Constraint Satisfaction." Technical Report TR-UNL-CSE-2011-0007, Lincoln, NE. 2011. (PDF, bib)
  9. Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry. "Exploring Parameterized Relational Consistency." Technical Report TR-UNL-CSE-2009-0009, Lincoln, NE. 2009. (PDF, bib)
  10. Advanced & enhanced an online, interactive constraint solver for Minesweeper (minesweeper.unl.edu)