Berthe Y. Choueiry

2007
32		Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry: An Interactive Constraint-Based Approach to Sudoku. AAAI 2007: 1976-1977
31	EE	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock: Reformulating CSPs for Scalability with Application to Geospatial Reasoning. CP 2007: 164-179
30	EE	Martin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry: Exploiting automatically inferred constraint-models for building identification in satellite imagery. GIS 2007: 6
29	EE	Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry: Reformulating Constraint Models Using Input Data. SARA 2007: 402-404
28	EE	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock: Reformulating Constraint Satisfaction Problems to Improve Scalability. SARA 2007: 64-79
2006
27		Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry: An Interactive Constraint-Based Approach to Minesweeper. AAAI 2006
2005
26		Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder: Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. AAAI 2005: 397-404
25	EE	Yaling Zheng, Berthe Y. Choueiry: Applying Decomposition Methods to Crossword Puzzle Problems. CP 2005: 874
24		Joel M. Gompert, Berthe Y. Choueiry: A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search. FLAIRS Conference 2005: 167-174
23	EE	Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith: Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162(1-2): 145-204 (2005)
2004
22		Yang Shi, Anagh Lal, Berthe Y. Choueiry: Evaluating Consistency Algorithms for Temporal Metric Constraints. AAAI 2004: 970-971
21	EE	Anagh Lal, Berthe Y. Choueiry: Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. CDB 2004: 149-167
20	EE	Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry: A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. CP 2004: 817
19	EE	Yaling Zheng, Berthe Y. Choueiry: New Structural Decomposition Techniques for Constraint Satisfaction Problems. CSCLP 2004: 113-127
18	EE	Venkata Praveen Guddeti, Berthe Y. Choueiry: Characterization of a New Restart Strategy for Randomized Backtrack Search. CSCLP 2004: 56-70
17		Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry: An Interactive System for Hiring and Managing Graduate Teaching Assistants. ECAI 2004: 730-734
16	EE	Berthe Y. Choueiry, Lin Xu: An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. AI Commun. 17(4): 213-221 (2004)
2003
15	EE	Lin Xu, Berthe Y. Choueiry: Improving Backtrack Search for Solving the TCSP. CP 2003: 754-768
14	EE	Lin Xu, Berthe Y. Choueiry: A New Efficient Algorithm for Solving the Simple Temporal Problem. TIME 2003: 212-
2002
13	EE	Robert Glaubius, Berthe Y. Choueiry: Constraint Modeling in the Context of Academic Task Assignment. CP 2002: 789
12	EE	Berthe Y. Choueiry, Amy M. Davis: Dynamic Bundling: Less Effort for More Solutions. SARA 2002: 64-82
2001
11	EE	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: 50-61
10	EE	Amy M. Beckwith, Berthe Y. Choueiry: On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. CP 2001: 760
9		Berthe Y. Choueiry, Toby Walsh: Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Magazine 22(1): 137-138 (2001)
2000
8		Berthe Y. Choueiry, Toby Walsh: Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings Springer 2000
1998
7		Berthe Y. Choueiry, Guevara Noubir: On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. AAAI/IAAI 1998: 326-333
1996
6		Rainer Weigel, Boi Faltings, Berthe Y. Choueiry: Context in Discrete Constraint Satisfaction Problems. ECAI 1996: 205-212
5		Guevara Noubir, Berthe Y. Choueiry: Algebraic Techniques for the Optimization of Control Flow Checking. FTCS 1996: 128-137
4	EE	Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer: Fault tolerant multiple observers using error control codes. ICNP 1996: 84-91
1995
3		Berthe Y. Choueiry, Boi Faltings: Using Abstractions for Resource Allocation. ICRA 1995: 1027-1033
2		Berthe Y. Choueiry, Boi Faltings, Rainer Weigel: Abstraction by Interchangeability in Resource Allocation. IJCAI 1995: 1694-1703
1994
1		Berthe Y. Choueiry, Boi Faltings: A Decomposition Heuristic for Resource Allocation. ECAI 1994: 585-589

Coauthor Index

1	Kenneth M. Bayer	[27] [28] [30] [31] [32]
2	Amy M. Beckwith	[10] [11]
3	Amy M. Davis	[12]
4	Boi Faltings	[1] [2] [3] [6]
5	Eugene C. Freuder	[26]
6	Robert Glaubius	[13]
7	Joel M. Gompert	[24]
8	Venkata Praveen Guddeti	[17] [18] [20]
9	Kai-Chen Huang	[32]
10	Yumi Iwasaki	[23]
11	Craig A. Knoblock	[28] [29] [30] [31]
12	Anagh Lal	[21] [22] [26]
13	Ryan Lim	[17] [20]
14	Sheila A. McIlraith	[23]
15	Martin Michalowski	[28] [29] [30] [31]
16	Guevara Noubir	[4] [5] [7]
17	Henri J. Nussbaumer	[4]
18	Christopher G. Reeson	[32]
19	Yang Shi	[22]
20	Josh Snyder	[27]
21	Toby Walsh	[8] [9]
22	Rainer Weigel	[2] [6]
23	Lin Xu	[14] [15] [16]
24	Yaling Zheng	[19] [25]
25	Hui Zou	[11]

Colors in the list of coauthors