| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | 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, Steven Prestwhich, Eugene C. Freuder |
A Partial Taxonomy of Substitutability and Interchangeability |
CoRR |
2010 |
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, 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 | Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry |
Reformulating Constraint Models Using Input Data. |
SARA |
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, 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 | 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 | 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, 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 | 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 | 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 | Berthe Y. Choueiry, Lin Xu |
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. |
AI Commun. |
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 | Anagh Lal, Berthe Y. Choueiry |
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. |
CDB |
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 | 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 |
A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Xu, Berthe Y. Choueiry |
A New Efficient Algorithm for Solving the Simple Temporal Problem. (PDF / PS) |
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 | Berthe Y. Choueiry, Amy M. Davis |
Dynamic Bundling: Less Effort for More Solutions. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glaubius, Berthe Y. Choueiry |
Constraint Modeling in the Context of Academic Task Assignment. |
CP |
2002 |
DBLP 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, 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 | Amy M. Beckwith, Berthe Y. Choueiry |
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. |
CP |
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 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 | 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 | Guevara Noubir, Berthe Y. Choueiry |
Algebraic Techniques for the Optimization of Control Flow Checking. |
FTCS |
1996 |
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 |
Using Abstractions for Resource Allocation. |
ICRA |
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")