Below is a list of my publications!
2018
Solving Sudoku with Consistency: A Visual and Interactive Approach (IJCAI 2018)
Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere, in Proceedings of the 27th International Joint Conference on Artificial Intelligence.
A Reactive Strategy for High-Level Consistency During Search (IJCAI18)
Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere, in Proceedings of the 27th International Joint Conference on Artificial Intelligence.
A Qualitative Analysis of Search Behavior: A Visual Approach (XAI18)
Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, and Hongfeng Yu, in Proceedings of the 2nd Workshop on Explainable Artificial Intelligence.
2017
Cycle-Based Singleton Local Consistencies (AAAI17)
Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere, in Proceedings of AAAI 2017.
2016
A Portfolio Approach for Enforcing Minimality in a Tree Decomposition (CP 2016)
Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott, in Proceedings of CP 2016.
2015
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators (AAAI 15)
Daniel J. Geschwender, Robert J. Woodward, and Berthe Y. Choueiry, in Proceedings of AAAI 2015.
2014
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning (CP14)
Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere, in Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP 2014).
Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports (CP14)
Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, and Christian Bessiere, in Twentieth International Conference on Principles and Practice of Constraint Programming (CP 2014).
2013
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers (AAAI 13)
Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, and Stephen D. Scott, in Proceedings of AAAI 2013.
Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition (AAAI 13)
Shant Karakashian, Robert Woodward, and Berthe Y. Choueiry, in Proceedings of AAAI 2013.
2012
Revisiting Neighborhood Inverse Consistency on Binary CSPs (CP12)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere, in Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012).
Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition (CP-DP 2012)
Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry, in Proceedings of the Doctoral Program of the Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012).
2011
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency (AAAI11)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere, in 25th AAAI Conference on Artificial Intelligence (AAAI 11).
Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs (AAAI11)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere, in 25th AAAI Conference on Artificial Intelligence (AAAI 11).
Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency (SARA 11)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, and Christian Bessiere, in Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011).
Reformulating R(*,m)C with Tree Decomposition (SARA 11)
Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry, in Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011).
2010
A Partial Taxonomy of Substitutability and Interchangeability (SymCon 10)
Shant Karakashian, Robert Woodward, Berthe Y. Choueiry, Steven Prestwhich, and Eugene C. Freuder, in Proceedings of the International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 10).
A First Practical Algorithm for High Levels of Relational Consistency (AAAI10)
Shant Karakashian, Robert Woodward, Christopher Reeson, Berthe Y. Choueiry, and Christian Bessiere, in 24th AAAI Conference on Artificial Intelligence (AAAI 10).
Relational Consistency by Constraint Filtering (ACM SAC 2010)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry,, and Christian Bessiere, in 25th ACM Symposium On Applied Computing (ACM SAC 10).