A new efficient algorithm for solving the simple temporal problem XU Lin, BY Choueiry Proceedings of the 10th International Symposium on Temporal Representation …, 2003 | 107 | 2003 |
On the computation of local interchangeability in discrete constraint satisfaction problems BY Choueiry, G Noubir AAAI/IAAI, 326-333, 1998 | 71 | 1998 |
Abstraction methods for resource allocation BY Choueiry, B Faltings, G Noubir Workshop on Theory Reformulation and Abstraction, 2-71/2-90, 1994 | 62 | 1994 |
A first practical algorithm for high levels of relational consistency S Karakashian, R Woodward, C Reeson, B Choueiry, C Bessiere Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 101-107, 2010 | 49 | 2010 |
Abstraction and reformulation in artificial intelligence RC Holte, BY Choueiry Philosophical Transactions of the Royal Society of London. Series B …, 2003 | 43 | 2003 |
Abstraction by interchangeability in resource allocation BY Choueiry, B Faltings, R Weigel IJCAI, 1694-1703, 1995 | 36 | 1995 |
Towards a practical theory of reformulation for reasoning about physical systems BY Choueiry, Y Iwasaki, S McIlraith Artificial Intelligence 162 (1-2), 145-204, 2005 | 35 | 2005 |
Dynamic bundling: Less effort for more solutions BY Choueiry, AM Davis International Symposium on Abstraction, Reformulation, and Approximation, 64-82, 2002 | 29 | 2002 |
Neighborhood interchangeability and dynamic bundling for non-binary finite CSPs A Lal, BY Choueiry, EC Freuder AAAI, 397-404, 2005 | 28 | 2005 |
Solving difficult CSPs with relational neighborhood inverse consistency R Woodward, S Karakashian, B Choueiry, C Bessiere Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 112-119, 2011 | 25 | 2011 |
A decomposition heuristic for resource allocation BY Choueiry, B Faltings ECAI, 585-589, 1994 | 25 | 1994 |
Thoughts towards a practical theory of reformulation for reasoning about physical systems BY Choueiry, S McIlraith, Y Iwasaki, T Loeser, T Neller, RS Engelmore, ... Working notes of the Symposium on Abstraction, Reformulation, and …, 1998 | 23 | 1998 |
Improving the performance of consistency algorithms by localizing and bolstering propagation in a tree decomposition S Karakashian, R Woodward, B Choueiry Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 466-473, 2013 | 20 | 2013 |
Context in Discrete Constraint Satisfaction Problems' R Weigel, BV Faltings, BY Choueiry ECAI, 205-212, 1996 | 20 | 1996 |
Interactive resource allocation by problem decomposition and temporal abstraction BY Choueiry, B Faltings Technical report, EPFL, Lausanne, Switzerland, 1994 | 20 | 1994 |
An interactive constraint-based approach to Sudoku CG Reeson, KC Huang, KM Bayer, BY Choueiry PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (2), 1976, 2007 | 18 | 2007 |
An Interactive Constraint-Based Approach to Minesweeper. KM Bayer, J Snyder, BY Choueiry AAAI, 1933-1934, 2006 | 18 | 2006 |
Characterizing the behavior of a multi-agent search by using it to solve a tight, real-world resource allocation problem H Zou, BY Choueiry Workshop on Applications of Constraint Programming, Kinsale, County Cork …, 2003 | 18 | 2003 |
How the level of interchangeability embedded in a finite constraint satisfaction problem affects the performance of search AM Beckwith, BY Choueiry, H Zou Australian Joint Conference on Artificial Intelligence, 50-61, 2001 | 18 | 2001 |
A partial taxonomy of substitutability and interchangeability S Karakashian, R Woodward, BY Choueiry, S Prestwhich, EC Freuder arXiv preprint arXiv:1010.4609, 2010 | 17 | 2010 |