| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anthony Schneider, Berthe Y. Choueiry |
PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints.  |
CP  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Howell, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Solving Sudoku with Consistency: A Visual and Interactive Approach. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
A Reactive Strategy for High-Level Consistency During Search. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Woodward, Berthe Y. Choueiry |
Weight-Based Variable Ordering in the Context of High-Level Consistencies. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Cycle-Based Singleton Local Consistencies. |
AAAI |
2017 |
DBLP BibTeX RDF |
|
| 1 | Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry |
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. |
AAAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere |
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Revisiting Neighborhood Inverse Consistency on Binary CSPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry |
Reformulating R(*, m)C with Tree Decomposition. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder |
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Bob Givan |
Preface. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder |
A Partial Taxonomy of Substitutability and Interchangeability |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Relational consistency by constraint filtering. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry |
An Interactive Constraint-Based Approach to Sudoku. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry |
Exploiting automatically inferred constraint-models for building identification in satellite imagery. |
GIS |
2007 |
DBLP DOI BibTeX RDF |
geospatial data integration, modeling, knowledge discovery |
| 1 | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
Reformulating CSPs for Scalability with Application to Geospatial Reasoning. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
Reformulating Constraint Satisfaction Problems to Improve Scalability. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry |
Reformulating Constraint Models Using Input Data. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry |
An Interactive Constraint-Based Approach to Minesweeper. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith |
Towards a practical theory of reformulation for reasoning about physical systems. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder |
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yaling Zheng, Berthe Y. Choueiry |
Applying Decomposition Methods to Crossword Puzzle Problems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel M. Gompert, Berthe Y. Choueiry |
A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. |
FLAIRS Conference |
2005 |
DBLP BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Lin Xu |
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. |
AI Commun. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anagh Lal, Berthe Y. Choueiry |
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. |
CDB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Shi, Anagh Lal, Berthe Y. Choueiry |
Evaluating Consistency Algorithms for Temporal Metric Constraints. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry |
An Interactive System for Hiring and Managing Graduate Teaching Assistants. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry |
A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkata Praveen Guddeti, Berthe Y. Choueiry |
Characterization of a New Restart Strategy for Randomized Backtrack Search. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaling Zheng, Berthe Y. Choueiry |
New Structural Decomposition Techniques for Constraint Satisfaction Problems. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Xu, Berthe Y. Choueiry |
A New Efficient Algorithm for Solving the Simple Temporal Problem. |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Xu, Berthe Y. Choueiry |
Improving Backtrack Search for Solving the TCSP. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glaubius, Berthe Y. Choueiry |
Constraint Modeling in the Context of Academic Task Assignment. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Amy M. Davis |
Dynamic Bundling: Less Effort for More Solutions. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Toby Walsh |
Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). |
AI Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Amy M. Beckwith, Berthe Y. Choueiry |
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy M. Beckwith, Berthe Y. Choueiry, Hui Zou |
How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Toby Walsh (eds.) |
Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Guevara Noubir |
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Guevara Noubir, Berthe Y. Choueiry |
Algebraic Techniques for the Optimization of Control Flow Checking. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Weigel, Boi Faltings, Berthe Y. Choueiry |
Context in Discrete Constraint Satisfaction Problems. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer |
Fault tolerant multiple observers using error control codes. |
ICNP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Boi Faltings |
Using Abstractions for Resource Allocation. |
ICRA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Boi Faltings, Rainer Weigel |
Abstraction by Interchangeability in Resource Allocation. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Boi Faltings |
A Decomposition Heuristic for Resource Allocation. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license