Search the dblp DataBase
Berthe Y. Choueiry :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kenneth M. Bayer , Josh Snyder , Berthe Y. Choueiry An Interactive Constraint-Based Approach to Minesweeper. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Berthe Y. Choueiry , Guevara Noubir On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1998, pp:326-333 [Conf ] Anagh Lal , Berthe Y. Choueiry , Eugene C. Freuder Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:397-404 [Conf ] Yang Shi , Anagh Lal , Berthe Y. Choueiry Evaluating Consistency Algorithms for Temporal Metric Constraints. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:970-971 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2001, pp:50-61 [Conf ] Anagh Lal , Berthe Y. Choueiry Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. [Citation Graph (0, 0)][DBLP ] CDB, 2004, pp:149-167 [Conf ] Lin Xu , Berthe Y. Choueiry Improving Backtrack Search for Solving the TCSP. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:754-768 [Conf ] Amy M. Beckwith , Berthe Y. Choueiry On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] CP, 2001, pp:760- [Conf ] Robert Glaubius , Berthe Y. Choueiry Constraint Modeling in the Context of Academic Task Assignment. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:789- [Conf ] Ryan Lim , Venkata Praveen Guddeti , Berthe Y. Choueiry A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:817- [Conf ] Yaling Zheng , Berthe Y. Choueiry Applying Decomposition Methods to Crossword Puzzle Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:874- [Conf ] Venkata Praveen Guddeti , Berthe Y. Choueiry Characterization of a New Restart Strategy for Randomized Backtrack Search. [Citation Graph (0, 0)][DBLP ] CSCLP, 2004, pp:56-70 [Conf ] Yaling Zheng , Berthe Y. Choueiry New Structural Decomposition Techniques for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] CSCLP, 2004, pp:113-127 [Conf ] Berthe Y. Choueiry , Boi Faltings A Decomposition Heuristic for Resource Allocation. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:585-589 [Conf ] Ryan Lim , Venkata Praveen Guddeti , Berthe Y. Choueiry An Interactive System for Hiring and Managing Graduate Teaching Assistants. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:730-734 [Conf ] Rainer Weigel , Boi Faltings , Berthe Y. Choueiry Context in Discrete Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:205-212 [Conf ] Joel M. Gompert , Berthe Y. Choueiry A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2005, pp:167-174 [Conf ] Guevara Noubir , Berthe Y. Choueiry Algebraic Techniques for the Optimization of Control Flow Checking. [Citation Graph (0, 0)][DBLP ] FTCS, 1996, pp:128-137 [Conf ] Guevara Noubir , Berthe Y. Choueiry , Henri J. Nussbaumer Fault tolerant multiple observers using error control codes. [Citation Graph (0, 0)][DBLP ] ICNP, 1996, pp:84-91 [Conf ] Berthe Y. Choueiry , Boi Faltings Using Abstractions for Resource Allocation. [Citation Graph (0, 0)][DBLP ] ICRA, 1995, pp:1027-1033 [Conf ] Berthe Y. Choueiry , Boi Faltings , Rainer Weigel Abstraction by Interchangeability in Resource Allocation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1694-1703 [Conf ] Berthe Y. Choueiry , Amy M. Davis Dynamic Bundling: Less Effort for More Solutions. [Citation Graph (0, 0)][DBLP ] SARA, 2002, pp:64-82 [Conf ] Lin Xu , Berthe Y. Choueiry A New Efficient Algorithm for Solving the Simple Temporal Problem. [Citation Graph (0, 0)][DBLP ] TIME, 2003, pp:212-0 [Conf ] Berthe Y. Choueiry , Yumi Iwasaki , Sheila A. McIlraith Towards a practical theory of reformulation for reasoning about physical systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2005, v:162, n:1-2, pp:145-204 [Journal ] Berthe Y. Choueiry , Lin Xu An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] AI Commun., 2004, v:17, n:4, pp:213-221 [Journal ] Berthe Y. Choueiry , Toby Walsh Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). [Citation Graph (0, 0)][DBLP ] AI Magazine, 2001, v:22, n:1, pp:137-138 [Journal ] Christopher G. Reeson , Kai-Chen Huang , Kenneth M. Bayer , Berthe Y. Choueiry An Interactive Constraint-Based Approach to Sudoku. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:1976-1977 [Conf ] Kenneth M. Bayer , Martin Michalowski , Berthe Y. Choueiry , Craig A. Knoblock Reformulating CSPs for Scalability with Application to Geospatial Reasoning. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:164-179 [Conf ] Kenneth M. Bayer , Martin Michalowski , Berthe Y. Choueiry , Craig A. Knoblock Reformulating Constraint Satisfaction Problems to Improve Scalability. [Citation Graph (0, 0)][DBLP ] SARA, 2007, pp:64-79 [Conf ] Martin Michalowski , Craig A. Knoblock , Berthe Y. Choueiry Reformulating Constraint Models Using Input Data. [Citation Graph (0, 0)][DBLP ] SARA, 2007, pp:402-404 [Conf ] A First Practical Algorithm for High Levels of Relational Consistency. [Citation Graph (, )][DBLP ] Exploiting automatically inferred constraint-models for building identification in satellite imagery. [Citation Graph (, )][DBLP ] Relational consistency by constraint filtering. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.006secs