Robert J. Woodward

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