| Generalized nogoods in CSPs G Katsirelos, F Bacchus PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (1), 390, 2005 | 148 | 2005 |
| Constraint acquisition via partial queries C Bessiere, R Coletta, E Hebrard, G Katsirelos, N Lazaar, N Narodytska, ... Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 111 | 2013 |
| Complexity of and algorithms for Borda manipulation J Davies, G Katsirelos, N Narodytska, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 657-662, 2011 | 105 | 2011 |
| A compression algorithm for large arity extensional constraints G Katsirelos, T Walsh Principles and Practice of Constraint Programming–CP 2007, 379-393, 2007 | 103 | 2007 |
| Computational protein design as an optimization problem D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ... Artificial Intelligence 212, 59-79, 2014 | 102 | 2014 |
| A restriction of extended resolution for clause learning SAT solvers G Audemard, G Katsirelos, L Simon Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI), 2010 | 86 | 2010 |
| Multi-language evaluation of exact solvers in graphical model discrete optimization B Hurley, B O’sullivan, D Allouche, G Katsirelos, T Schiex, M Zytnicki, ... Constraints 21, 413-434, 2016 | 85 | 2016 |
| A new framework for computational protein design through cost function network optimization S Traoré, D Allouche, I André, S De Givry, G Katsirelos, T Schiex, S Barbe Bioinformatics 29 (17), 2129-2136, 2013 | 85 | 2013 |
| Circuit complexity and decompositions of global constraints C Bessiere, G Katsirelos, N Narodytska, T Walsh 21st Int. Joint Conf. on AI, 2009 | 83 | 2009 |
| Anytime hybrid best-first search with tree decomposition for weighted CSP D Allouche, S De Givry, G Katsirelos, T Schiex, M Zytnicki International Conference on Principles and Practice of Constraint …, 2015 | 66 | 2015 |
| Unrestricted nogood recording in CSP search G Katsirelos, F Bacchus Principles and Practice of Constraint Programming–CP 2003: 9th International …, 2003 | 66 | 2003 |
| Relaxation search: A simple way of managing optional clauses F Bacchus, J Davies, M Tsimpoukelli, G Katsirelos Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 51 | 2014 |
| Decompositions of all different, global cardinality and related constraints C Bessiere, G Katsirelos, N Narodytska, CG Quimper, T Walsh 21st Int. Joint Conf. on AI, 2009 | 51 | 2009 |
| Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules J Davies, G Katsirelos, N Narodytska, T Walsh, L Xia Artificial Intelligence 217, 20-42, 2014 | 50 | 2014 |
| Using minimal correction sets to more efficiently compute minimal unsatisfiable sets F Bacchus, G Katsirelos International Conference on Computer Aided Verification, 70-86, 2015 | 49 | 2015 |
| Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers G Katsirelos, A Sabharwal, H Samulowitz, L Simon | 49 | 2013 |
| On the complexity and completeness of static constraints for breaking row and column symmetry G Katsirelos, N Narodytska, T Walsh Principles and Practice of Constraint Programming–CP 2010, 305-320, 2010 | 39 | 2010 |
| Nogood processing in CSPs G Katsirelos University of Toronto, 2008 | 39 | 2008 |
| New approaches to constraint acquisition C Bessiere, A Daoudi, E Hebrard, G Katsirelos, N Lazaar, Y Mechqrane, ... Data Mining and Constraint Programming: Foundations of a Cross-Disciplinary …, 2016 | 36 | 2016 |
| Eigenvector centrality in industrial SAT instances G Katsirelos, L Simon International Conference on Principles and Practice of Constraint …, 2012 | 36 | 2012 |
Toby WalshProfessor, UNSW and CSIRO Data61確認したメール アドレス: cse.unsw.edu.au
