Publications

2018

  • [PDF] R. J. Woodward, B. Y. Choueiry, and C. Bessiere, “A Reactive Strategy for High-Level Consistency During Search,” in Proceedings of the 27th International Joint Conference on Artificial Intelligence, 2018, p. 1390–1397.
    [Bibtex] [Slides PPTX] [Slides PDF] [Poster PPTX] [Poster PDF]
    @inproceedings{woodward:ijcai18,
    author = {Robert J. Woodward and Berthe Y. Choueiry and Christian Bessiere},
    title = {{A Reactive Strategy for High-Level Consistency During Search}},
    booktitle = {{Proceedings of the 27th International Joint Conference on Artificial Intelligence}},
    addrress = {Stockholm, Sweden},
    pages = {1390--1397},
    year = {2018},
    }
  • [PDF] I. Howell, R. J. Woodward, B. Y. Choueiry, and C. Bessiere, “Solving Sudoku with Consistency: A Visual and Interactive Approach,” in Proceedings of the 27th International Joint Conference on Artificial Intelligence, 2018, p. 5829–5831.
    [Bibtex] [Poster PPTX] [Poster PDF]
    @inproceedings{ihowell:ijcai18,
    author = {Ian Howell and Robert J. Woodward and Berthe Y. Choueiry and Christian Bessiere},
    title = {{Solving Sudoku with Consistency: A Visual and Interactive Approach}},
    booktitle = {{Proceedings of the 27th International Joint Conference on Artificial Intelligence}},
    addrress = {Stockholm, Sweden},
    pages = {5829--5831},
    year = {2018},
    }
  • [PDF] I. Howell, R. J. Woodward, B. Y. Choueiry, and H. Yu, “A Qualitative Analysis of Search Behavior: A Visual Approach,” in Proceedings of the 2nd Workshop on Explainable Artificial Intelligence, 2018, p. 65–71.
    [Bibtex] [Poster PPTX] [Poster PDF]
    @inproceedings{ihowell:xai18,
    author = {Ian Howell and Robert J. Woodward and Berthe Y. Choueiry and Hongfeng Yu},
    title = {{A Qualitative Analysis of Search Behavior: A Visual Approach}},
    booktitle = {{Proceedings of the 2nd Workshop on Explainable Artificial Intelligence}},
    addrress = {Stockholm, Sweden},
    pages = {65--71},
    year = {2018},
    }

2017

  • [PDF] R. J. Woodward, B. Y. Choueiry, and C. Bessiere, “Cycle-Based Singleton Local Consistencies,” in Proceedings of AAAI 2017, 2017, pp. 5005-5006.
    [Bibtex] [Poster PPTX] [Poster PDF]
    @inproceedings{Woodward:AAAI17,
    Author = {Robert J. Woodward and Berthe Y. Choueiry and Christian Bessiere},
    Title = {{Cycle-Based Singleton Local Consistencies}},
    Year = 2017,
    Booktitle = {{Proceedings of AAAI 2017}},
    Pages = {5005-5006}}

2016

  • [PDF] D. J. Geschwender, R. J. Woodward, B. Y. Choueiry, and S. D. Scott, “A Portfolio Approach for Enforcing Minimality in a Tree Decomposition,” in Proceedings of CP 2016, 2016, p. 10 pages.
    [Bibtex] [Slides PPTX] [Slides PDF] [Poster PPTX] [Poster PDF]
    @inproceedings{Geschwender:CP16,
    Author = {Daniel J. Geschwender and Robert J. Woodward and Berthe Y. Choueiry and Stephen D. Scott},
    Title = {{A Portfolio Approach for Enforcing Minimality in a Tree Decomposition}},
    Year = 2016,
    Booktitle = {{Proceedings of CP 2016}},
    Pages = {10 pages},
    Keywords = {Constraint Satisfaction, Machine Learning}}

2015

  • [PDF] D. J. Geschwender, R. J. Woodward, and B. Y. Choueiry, “Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators ,” in Proceedings of AAAI 2015, 2015, pp. 4162-4163.
    [Bibtex] [Poster PPTX] [Poster PDF]
    @inproceedings{Geschwender:AAAI15,
    Author = {Daniel J. Geschwender and Robert J. Woodward and Berthe Y. Choueiry},
    Title = {{Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators }},
    Year = 2015,
    Booktitle = {{Proceedings of AAAI 2015}},
    Pages = {4162-4163},
    Keywords = {Constraint Satisfaction, Machine Learning}}

2014

  • [PDF] R. J. Woodward, A. Schneider, B. Y. Choueiry, and C. Bessiere, “Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports,” in Twentieth International Conference on Principles and Practice of Constraint Programming (CP 2014), 2014, p. 755–764.
    [Bibtex] [Slides PPT] [Slides PDF] [Poster PPTX] [Poster PDF]
    @InProceedings{Robert:cp14,
    author = {Robert J. Woodward and Anthony Schneider and Berthe Y. Choueiry and Christian Bessiere},
    title = {{Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports}},
    booktitle = {{Twentieth International Conference on Principles and Practice of Constraint Programming (CP 2014)}},
    year = 2014,
    pages = {755--764},
    volume = 8656,
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    }
  • [PDF] A. Schneider, R. J. Woodward, B. Y. Choueiry, and C. Bessiere, “Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning ,” in Proceedings of the international conference on principles and practice of constraint programming (cp 2014), 2014, pp. 688-704.
    [Bibtex] [Slides PPTX] [Slides PDF] [Poster PPTX] [Poster PDF]
    @inproceedings{Schneider:14cp,
    AUTHOR = {Anthony Schneider and Robert J. Woodward and Berthe Y. Choueiry and Christian Bessiere},
    TITLE = {{Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning }},
    YEAR = 2014,
    BOOKTITLE = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP 2014)},
    PAGES = {688-704},
    volume = {8656},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    KEYWORDS = {}}

2013

  • [PDF] S. Karakashian, R. Woodward, and B. Y. Choueiry, “Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition,” in Proceedings of AAAI 2013, 2013, pp. 466-473.
    [Bibtex] [Slides PPTX] [Slides PDF] [Poster PPTX] [Poster PDF]
    @inproceedings{Shant:AAAI13,
    Author = {Shant Karakashian and Robert Woodward and Berthe Y. Choueiry},
    Title = {{Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition}},
    Year = 2013,
    Booktitle = {{Proceedings of AAAI 2013}},
    Pages = {466-473},
    Keywords = {}}
  • [PDF] D. J. Geschwender, S. Karakashian, R. J. Woodward, B. Y. Choueiry, and S. D. Scott, “Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers,” in Proceedings of AAAI 2013, 2013, pp. 1611-1612.
    [Bibtex] [Poster PPTX] [Poster PDF]
    @inproceedings{Geschwender:AAAI13,
    Author = {Daniel J. Geschwender and Shant Karakashian and Robert J. Woodward and Berthe Y. Choueiry and Stephen D. Scott},
    Title = {{Selecting the Appropriate Consistency Algorithm for CSPs
    Using Machine Learning Classifiers}},
    Year = 2013,
    Booktitle = {{Proceedings of AAAI 2013}},
    Pages = {1611-1612},
    Keywords = {Constraint Satisfaction, Machine Learning}}

2012

  • [PDF] R. J. Woodward, S. Karakashian, B. Y. Choueiry, and C. Bessiere, “Revisiting Neighborhood Inverse Consistency on Binary CSPs,” in Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012), 2012, p. 688–703.
    [Bibtex] [Slides PPT] [Slides PDF] [Poster PPTX] [Poster PDF]
    @InProceedings{Robert:cp12,
    author = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere},
    title = {{Revisiting Neighborhood Inverse Consistency on Binary CSPs}},
    booktitle = {{Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012)}},
    year = 2012,
    pages = {688--703},
    volume = 7514,
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    }
  • [PDF] S. Karakashian, R. J. Woodward, and B. Y. Choueiry, “Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition,” in Proceedings of the Doctoral Program of the Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012), 2012, p. 31–36.
    [Bibtex] [Poster PPTX] [Poster PDF]
    @InProceedings{Shant:cp12,
    author = {Shant Karakashian and Robert J. Woodward and Berthe Y. Choueiry},
    title = {{Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition}},
    booktitle = {{Proceedings of the Doctoral Program of the Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012)}},
    year = 2012,
    pages = {31--36},
    url = {http://zivny.cz/dp12/DP12Proceedings.pdf}
    }

2011

  • [PDF] R. J. Woodward, S. Karakashian, B. Y. Choueiry, and C. Bessiere, “Solving Difficult CSPs with Relational Neighborhood Inverse Consistency,” , p. 112–119, 2011.
    [Bibtex] [Slides PPT]
    @inroceedings{Robert:AAAI11,
    AUTHOR = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere},
    TITLE = {{Solving Difficult CSPs with Relational Neighborhood Inverse Consistency}},
    YEAR = 2011,
    BOOKTITLE = {{25th AAAI Conference on Artificial Intelligence (AAAI 11)}},
    PAGES = {112--119},
    KEYWORDS = {}}
  • [PDF] R. J. Woodward, S. Karakashian, B. Y. Choueiry, and C. Bessiere, “Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs,” in 25th AAAI Conference on Artificial Intelligence (AAAI 11), 2011, p. 1830–1831.
    [Bibtex]
    @inproceedings{Robert:SA-AAAI11,
    AUTHOR = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere},
    TITLE = {{Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs}},
    YEAR = 2011,
    BOOKTITLE = {{25th AAAI Conference on Artificial Intelligence (AAAI 11)}},
    PAGES = {1830--1831},
    KEYWORDS = {}}
  • [PDF] R. J. Woodward, S. Karakashian, B. Y. Choueiry, and C. Bessiere, “Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency,” in Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011), 2011, p. 140–148.
    [Bibtex] [Slides PPT]
    @InProceedings{Robert:sara11,
    author = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere},
    title = {{Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency}},
    booktitle = {{Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011)}},
    year = 2011,
    pages = {140--148},
    publisher = {AAAI Press},
    }
  • [PDF] S. Karakashian, R. J. Woodward, and B. Y. Choueiry, “Reformulating R$(*,m)$C with Tree Decomposition,” in Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011), 2011, p. 62–69.
    [Bibtex] [Slides PPT]
    @InProceedings{Shant:sara11,
    author = {Shant Karakashian and Robert J. Woodward and Berthe Y. Choueiry},
    title = {{Reformulating R$(*,m)$C with Tree Decomposition}},
    booktitle = {{Ninth International Symposium on Abstraction,
    Reformulation and Approximation (SARA 2011)}},
    year = 2011,
    pages = {62--69},
    publisher = {AAAI Press},
    }

2010

  • [PDF] S. Karakashian, R. Woodward, C. Reeson, B. Y. Choueiry, and C. Bessiere, “A First Practical Algorithm for High Levels of Relational Consistency,” in 24th AAAI Conference on Artificial Intelligence (AAAI 10), Atlanta, Georgia, 2010, pp. 101-107.
    [Bibtex] [Slides PPTX]
    @inproceedings{Shant:AAAI10,
    AUTHOR = {Shant Karakashian and Robert Woodward and Christopher Reeson and Berthe Y. Choueiry and Christian Bessiere},
    TITLE = {{A First Practical Algorithm for High Levels of Relational Consistency}},
    YEAR = 2010,
    BOOKTITLE = {{24th AAAI Conference on Artificial Intelligence (AAAI 10)}},
    ADDRESS = {Atlanta, Georgia},
    PAGES = {101-107},
    KEYWORDS = {}}
  • [PDF] S. Karakashian, R. J. Woodward, Berthe Y. Choueiry, and C. Bessiere, “Relational Consistency by Constraint Filtering,” in 25th ACM Symposium On Applied Computing (ACM SAC 10), Sierre, Switzerland, 2010, pp. 2073-2074.
    [Bibtex]
    @inproceedings{Karakashian:10acmsac,
    AUTHOR = {Shant Karakashian and Robert J. Woodward and Berthe Y. Choueiry, and Christian Bessiere},
    TITLE = {{Relational Consistency by Constraint Filtering}},
    YEAR = 2010,
    BOOKTITLE = {{25th ACM Symposium On Applied Computing (ACM SAC 10)}},
    ADDRESS = {Sierre, Switzerland},
    PAGES = {2073-2074},
    KEYWORDS = {}}
  • [PDF] S. Karakashian, R. Woodward, B. Y. Choueiry, S. Prestwhich, and E. C. Freuder, “A Partial Taxonomy of Substitutability and Interchangeability,” in Proceedings of the International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 10), 2010, p. 1–18.
    [Bibtex] [Slides PPTX]
    @inproceedings{SymCon10,
    AUTHOR = {Shant Karakashian and Robert Woodward and Berthe Y. Choueiry and Steven Prestwhich and Eugene C. Freuder},
    TITLE = {{A Partial Taxonomy of Substitutability and Interchangeability}},
    YEAR = 2010,
    BOOKTITLE = {{Proceedings of the International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 10)}},
    PAGES = {1--18},
    KEYWORDS = {}}