Berthe Y. Choueiry

53 papers A* 15A 14B 1C 1Misc 2Journal 6Unranked 13

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