Robert J. Woodward

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 5

Top Venues

AAAI

IJCAI

CoRR

University of Nebraska-Lincoln, USA (PHD)

Education History

University of Nebraska-Lincoln, USA

PHD

Publications

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
A Reactive Strategy for High-Level Consistency During Search. IJCAI (2018)
Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Solving Sudoku with Consistency: A Visual and Interactive Approach. IJCAI (2018)
Robert J. Woodward, Berthe Y. Choueiry
Weight-Based Variable Ordering in the Context of High-Level Consistencies. CoRR (2017)
Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Cycle-Based Singleton Local Consistencies. AAAI (2017)
Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. AAAI (2015)
Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. CP (2014)
Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. CP (2014)
Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers. AAAI (2013)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry
Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition. AAAI (2013)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Revisiting Neighborhood Inverse Consistency on Binary CSPs. CP (2012)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. AAAI (2011)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. AAAI (2011)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry
Reformulating R(*, m)C with Tree Decomposition. SARA (2011)
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere
Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency. SARA (2011)
Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere
A First Practical Algorithm for High Levels of Relational Consistency. AAAI (2010)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder
A Partial Taxonomy of Substitutability and Interchangeability CoRR (2010)
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere
Relational consistency by constraint filtering. SAC (2010)

Robert J. Woodward.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert J. Woodward