| A first practical algorithm for high levels of relational consistency S Karakashian, R Woodward, C Reeson, B Choueiry, C Bessiere Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 101-107, 2010 | 48 | 2010 |
| Solving difficult CSPs with relational neighborhood inverse consistency R Woodward, S Karakashian, B Choueiry, C Bessiere Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 112-119, 2011 | 25 | 2011 |
| Improving the performance of consistency algorithms by localizing and bolstering propagation in a tree decomposition S Karakashian, R Woodward, B Choueiry Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 466-473, 2013 | 18 | 2013 |
| A partial taxonomy of substitutability and interchangeability S Karakashian, R Woodward, BY Choueiry, S Prestwhich, EC Freuder arXiv preprint arXiv:1010.4609, 2010 | 17 | 2010 |
| Adaptive parameterized consistency for non-binary csps by counting supports RJ Woodward, A Schneider, BY Choueiry, C Bessiere International Conference on Principles and Practice of Constraint …, 2014 | 12 | 2014 |
| Revisiting neighborhood inverse consistency on binary CSPs RJ Woodward, S Karakashian, BY Choueiry, C Bessiere International Conference on Principles and Practice of Constraint …, 2012 | 12 | 2012 |
| A Reactive Strategy for High-Level Consistency During Search. RJ Woodward, BY Choueiry, C Bessiere IJCAI 2018, 1390-1397, 2018 | 8 | 2018 |
| Selecting the appropriate consistency algorithm for csps using machine learning classifiers D Geschwender, S Karakashian, R Woodward, B Choueiry, S Scott Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 1611-1612, 2013 | 8 | 2013 |
| Solving Sudoku with Consistency: A Visual and Interactive Approach. I Howell, RJ Woodward, BY Choueiry, C Bessiere IJCAI 2018, 5829-5831, 2018 | 6 | 2018 |
| Improving relational consistency algorithms using dynamic relation partitioning A Schneider, RJ Woodward, BY Choueiry, C Bessiere International Conference on Principles and Practice of Constraint …, 2014 | 6 | 2014 |
| Algorithms for the Minimal Network of a CSP and a Classifier for Choosing Between Them SK Karakashian, RJ Woodward, BY Choueiry, S Scott | 6 | 2012 |
| Higher-level consistencies: where, when, and how much RJ Woodward The University of Nebraska-Lincoln, 2018 | 5 | 2018 |
| A Portfolio Approach for Enforcing Minimality in a Tree Decomposition DJ Geschwender, RJ Woodward, BY Choueiry, SD Scott Doctoral Program of the CP 2016, 1-10, 2016 | 5 | 2016 |
| Reformulating R(*;m)C with Tree Decomposition S Karakashian, RJ Woodward, BY Choueiry | 5 | 2011 |
| Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency RJ Woodward, S Karakashian, BY Choueiry, C Bessiere | 5 | 2011 |
| Weight-based variable ordering in the context of high-level consistencies RJ Woodward, BY Choueiry arXiv preprint arXiv:1711.00909, 2017 | 4 | 2017 |
| Cycle-based singleton local consistencies R Woodward, B Choueiry, C Bessiere Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 4 | 2017 |
| Variable bounds analysis of a climate model using software verification techniques P Revesz, R Woodward | 4 | 2014 |
| Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs R Woodward, S Karakashian, B Choueiry, C Bessiere Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 1830-1831, 2011 | 3 | 2011 |
| A qualitative analysis of search behavior: a visual approach I Howell, R Woodward, BY Choueiry, H Yu IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI), 2018 | 2 | 2018 |
