Berthe Y. Choueiry

Berthe Y. Choueiry, Lin Xu, B. Choueiry, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search

Berthe Y. Choueiry, Joel M. Gompert, B. Choueiry, 2005, FLAIRS.

A First Practical Algorithm for High Levels of Relational Consistency

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

Abstraction, reformulation, and approximation : 4th International Symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings

Toby Walsh, Berthe Y. Choueiry, Sara, 2000 .

A Constraint-Based Approach to Solving Minesweeper

Berthe Y. Choueiry, Josh Snyder, Ken Bayer, 2006 .

Relational Neighborhood Inverse Consistency for Constraint Satisfaction

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

Reformulating Constraint Satisfaction Problems to Improve Scalability

Craig A. Knoblock, Berthe Y. Choueiry, Martin Michalowski, 2007, SARA.

Constraint Modeling and Reformulation in the Context of Academic Task Assignment

Robert Glaubius, Berthe Y. Choueiry, 2002 .

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

Robert J. Woodward, Berthe Y. Choueiry, Shant Kirakos Karakashian, 2013, AAAI.

Abstraction, Reformulation, and Approximation

Thomas G. Dietterich, Toby Walsh, Berthe Y. Choueiry, 2000, Lecture Notes in Computer Science.

Using abstractions for resource allocation

Berthe Y. Choueiry, Boi Faltings, B. Faltings, 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems

Berthe Y. Choueiry, Amy M. Beckwith, B. Choueiry, 2001, CP.

Combining Ordering Heuristics and Bundling Techniques for Solving Finite Constraint Satisfaction Problems

Berthe Y. Choueiry, Amy M. Beckwith, Amy Beckwith, 2001 .

An Interactive System for Hiring and Managing Graduate Teaching Assistants

Berthe Y. Choueiry, Venkata Praveen Guddeti, Ryan Lim, 2004, ECAI.

New Structural Decomposition Techniques for Constraint Satisfaction Problems

Berthe Y. Choueiry, Yaling Zheng, 2004, CSCLP.

Constraint Modeling in the Context of Academic Task Assignment

Robert Glaubius, Berthe Y. Choueiry, 2002, CP.

Conference Organization

Bernhard Nebel, Berthe Y. Choueiry, Vesna Sabljakovic-Fritz, 2005, AutoID.

Reformulating CSPs for Scalability with Application to Geospatial Reasoning

Craig A. Knoblock, Berthe Y. Choueiry, Martin Michalowski, 2007, CP.

Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers

Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott, 2013, AAAI.

Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions

Berthe Y. Choueiry, Boi Faltings, B. Faltings, 1994 .

Exploiting automatically inferred constraint-models for building identification in satellite imagery

Craig A. Knoblock, Berthe Y. Choueiry, Martin Michalowski, 2007, GIS.

How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search

Berthe Y. Choueiry, Hui Zou, Amy M. Beckwith, 2001, Australian Joint Conference on Artificial Intelligence.

Solving Sudoku with Consistency: A Visual and Interactive Approach

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

An Interactive Constraint-Based Approach to Sudoku

Berthe Y. Choueiry, Kenneth M. Bayer, Christopher G. Reeson, 2007, AAAI.

Relational consistency by constraint filtering

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere, 2010, SAC '10.

On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems

Guevara Noubir, Berthe Y. Choueiry, 1998, AAAI/IAAI.

A Generator of Random Instances of Binary Finite Constraint Satisfaction Problems with Controllable Levels of Interchangeability

Berthe Y. Choueiry, Hui Zou, Amy Beckwith, 2001 .

A Practical Guide to the Empirical Evaluation and Comparison of the Performance of Algorithms Operating on CSPs

Berthe Y. Choueiry, Anagh Lal, Praveen Guddetti, 2004 .

Context in Discrete Constraint Satisfaction Problems

Berthe Y. Choueiry, Boi Faltings, Rainer Weigel, 1996, ECAI.

A Partial Taxonomy of Substitutability and Interchangeability pdf

Robert J. Woodward, Berthe Y. Choueiry, Eugene C. Freuder, 2010, ArXiv.

Solving Difficult CSPs with Relational Neighborhood Consistency

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

DISA: A Distributed scheduler using abstractions

Berthe Y. Choueiry, Pauline M. Berry, Lamia Friha, 1997 .

Correction to: PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints

Anthony Schneider, Berthe Y. Choueiry, 2018 .

Applying Decomposition Methods to Crossword Puzzle Problems

Berthe Y. Choueiry, Yaling Zheng, 2005, CP.

Reformulating Constraint Models Using Input Data

Craig A. Knoblock, Berthe Y. Choueiry, Martin Michalowski, 2007, SARA.

Improving No-Good Learning in BinaryConstraint Satisfaction Problems

Berthe Y. Choueiry, Mary D. Burke, 2013 .

Algebraic techniques for the optimization of control flow checking

Guevara Noubir, Berthe Y. Choueiry, B. Choueiry, 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

Algorithms for the Minimal Network of a CSPand a Classifier for Choosing Between Them

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

Improving Backtrack Search for Solving the TCSP

Berthe Y. Choueiry, Lin Xu, B. Choueiry, 2003, CP.

A Decomposition Heuristic for Resource Allocation

Berthe Y. Choueiry, Boi Faltings, 1994, ECAI.

An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem

Berthe Y. Choueiry, Lin Xu, B. Choueiry, 2004, AI Commun..

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

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

A Reactive Strategy for High-Level Consistency During Search

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

A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants

Berthe Y. Choueiry, Venkata Praveen Guddeti, Ryan Lim, 2004, CP.

Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation

Toby Walsh, Berthe Y. Choueiry, T. Walsh, 2000 .

Reformulating R(*, m)C with Tree Decomposition

Robert J. Woodward, Berthe Y. Choueiry, Shant Kirakos Karakashian, 2011, SARA.

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

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

Dynamic Bundling: Less Effort for More Solutions

Berthe Y. Choueiry, Amy M. Davis, 2002, SARA.

Solving Difficult CSPs with Relational Neighborhood Inverse Consistency

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

PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints

Anthony Schneider, Berthe Y. Choueiry, 2018, CP.

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

Robert J. Woodward, Berthe Y. Choueiry, 2017, ArXiv.

Distributed approach to dynamic resource management based on temporal influence

Berthe Y. Choueiry, Pauline M. Berry, Lamia Friha, 1994 .

Tree-Based Algorithms for Computing k-Combinations and k-Compositions

Berthe Y. Choueiry, Shant Karakashian, 2010 .

Revisiting Neighborhood Inverse Consistency on Binary CSPs

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

Cycle-Based Singleton Local Consistencies

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

Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports

Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, 2014, CP.

A Comparative Study of Arc-Consistency Algorithms

Berthe Y. Choueiry, Lin Xu, B. Choueiry, 2001 .

Abstraction Methods for Resource Management in a Distributed Information Network

Dean Allemang, Berthe Y. Choueiry, 1995 .

Techniques for Bundling the Solution Space of Finite Constraint Satisfaction Problems

Berthe Y. Choueiry, Amy M. Beckwith, Amy Beckwith, 2002 .

A Qualitative Analysis of Search Behavior : A Visual Approach

Robert J. Woodward, Berthe Y. Choueiry, Hongfeng Yu, 2018 .

An Algorithm for Generating All Connected Subgraphs with k Vertices of a Graph

Berthe Y. Choueiry, Stephen G. Hartke, Shant Karakashian, 2013 .

Exploiting Problem Data to Enrich Models of Constraint Problems

Craig A. Knoblock, Berthe Y. Choueiry, Martin Michalowski, 2007 .

Witnessing Solution Counting in Tree-Structured Methods for CSPs

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