Berthe Y. Choueiry

	2011
41		Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere: Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs. AAAI 2011
40		Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere: Solving Difficult CSPs with Relational Neighborhood Inverse Consistency. AAAI 2011
39		Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder: A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. SARA 2011
38		Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry: Reformulating R(*, m)C with Tree Decomposition. SARA 2011
37		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
	2010
36		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
35		Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere: Relational consistency by constraint filtering. SAC 2010: 2073-2074
34		Berthe Y. Choueiry, Bob Givan: Preface. Ann. Math. Artif. Intell. 58(3-4): 153 (2010)
33		Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder: A Partial Taxonomy of Substitutability and Interchangeability CoRR abs/1010.4609: (2010)
	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		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		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		Martin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry: Reformulating Constraint Models Using Input Data. SARA 2007: 402-404
28		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: 1933-1934
	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		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		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		Anagh Lal, Berthe Y. Choueiry: Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. CDB 2004: 149-167
20		Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry: A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. CP 2004: 817
19		Yaling Zheng, Berthe Y. Choueiry: New Structural Decomposition Techniques for Constraint Satisfaction Problems. CSCLP 2004: 113-127
18		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		Berthe Y. Choueiry, Lin Xu: An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem. AI Commun. 17(4): 213-221 (2004)
	2003
15		Lin Xu, Berthe Y. Choueiry: Improving Backtrack Search for Solving the TCSP. CP 2003: 754-768
14		Lin Xu, Berthe Y. Choueiry: A New Efficient Algorithm for Solving the Simple Temporal Problem. TIME 2003: 212-
	2002
13		Robert Glaubius, Berthe Y. Choueiry: Constraint Modeling in the Context of Academic Task Assignment. CP 2002: 789
12		Berthe Y. Choueiry, Amy M. Davis: Dynamic Bundling: Less Effort for More Solutions. SARA 2002: 64-82
	2001
11		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		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		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	Christian Bessiere (Christian Bessière)	[35] [36] [37] [40] [41]
4	Amy M. Davis	[12]
5	Boi Faltings	[1] [2] [3] [6]
6	Eugene C. Freuder	[26] [33] [39]
7	Robert Givan (Bob Givan)	[34]
8	Robert Glaubius	[13]
9	Joel M. Gompert	[24]
10	Venkata Praveen Guddeti	[17] [18] [20]
11	Kai-Chen Huang	[32]
12	Yumi Iwasaki	[23]
13	Shant Kirakos Karakashian (Shant Karakashian)	[33] [35] [36] [37] [38] [40] [41]
14	Craig A. Knoblock	[28] [29] [30] [31]
15	Anagh Lal	[21] [22] [26]
16	Ryan Lim	[17] [20]
17	Sheila A. McIlraith	[23]
18	Martin Michalowski	[28] [29] [30] [31]
19	Guevara Noubir	[4] [5] [7]
20	Henri J. Nussbaumer	[4]
21	Steven Prestwhich	[33]
22	Christopher G. Reeson	[32] [36]
23	Yang Shi	[22]
24	Josh Snyder	[27]
25	Amanda Swearngin	[39]
26	Toby Walsh	[8] [9]
27	Rainer Weigel	[2] [6]
28	Robert J. Woodward	[33] [35] [36] [37] [38] [40] [41]
29	Lin Xu	[14] [15] [16]
30	Yaling Zheng	[19] [25]
31	Hui Zou	[11]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page