Robert J. Woodward

According to our database, Robert J. Woodward authored at least 18 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Higher-Level Consistencies : When, Where, and How Much. (Les cohérences fortes : où, quand, et combien).

Robert J. Woodward

PhD thesis, 2018

A Reactive Strategy for High-Level Consistency During Search.

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Solving Sudoku with Consistency: A Visual and Interactive Approach.

Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Weight-Based Variable Ordering in the Context of High-Level Consistencies.

Robert J. Woodward, Berthe Y. Choueiry

CoRR, 2017

Cycle-Based Singleton Local Consistencies.

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2015

Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators.

Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports.

Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Principles and Practice of Constraint Programming, 2014

Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning.

Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition.

Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers.

Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Revisiting Neighborhood Inverse Consistency on Binary CSPs.

Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency.

Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Reformulating R(*, m)C with Tree Decomposition.

Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs.

Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Solving Difficult CSPs with Relational Neighborhood Inverse Consistency.

Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A Partial Taxonomy of Substitutability and Interchangeability

Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder

CoRR, 2010

Relational consistency by constraint filtering.

Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A First Practical Algorithm for High Levels of Relational Consistency.

Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010