| 2012 | ||
|---|---|---|
| c20 | ||
| c19 | George Katsirelos, Laurent Simon: Eigenvector Centrality in Industrial SAT Instances. CP 2012: 348-356 | |
| c18 | David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex: Computational Protein Design as a Cost Function Network Optimization Problem. CP 2012: 840-849 | |
| c17 | George Katsirelos, Laurent Simon: Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT 2012: 496-497 | |
| i16 | George Katsirelos, Nina Narodytska, Toby Walsh: The SeqBin Constraint Revisited. CoRR abs/1207.1811 (2012) | |
| 2011 | ||
| j2 | George Katsirelos, Nina Narodytska, Toby Walsh: The weighted Grammar constraint. Annals OR 184(1): 179-207 (2011) | |
| j1 | Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi: The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. (JAIR) 40: 657-676 (2011) | |
| c16 | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation. AAAI 2011 | |
| i15 | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011) | |
| 2010 | ||
| c15 | Gilles Audemard, George Katsirelos, Laurent Simon: A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI 2010 | |
| c14 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Propagating Conjunctions of AllDifferent Constraints. AAAI 2010 | |
| c13 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NValue Constraint. CP 2010: 114-128 | |
| c12 | George Katsirelos, Nina Narodytska, Toby Walsh: On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP 2010: 305-320 | |
| c11 | ||
| i14 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Propagating Conjunctions of AllDifferent Constraints. CoRR abs/1004.2626 (2010) | |
| i13 | George Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints. CoRR abs/1005.5270 (2010) | |
| i12 | George Katsirelos, Nina Narodytska, Toby Walsh: On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CoRR abs/1007.0602 (2010) | |
| i11 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NVALUE constraint. CoRR abs/1007.0603 (2010) | |
| i10 | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010) | |
| 2009 | ||
| c10 | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints. CP 2009: 501-508 | |
| c9 | George Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147 | |
| c8 | Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418 | |
| c7 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424 | |
| i9 | George Katsirelos, Nina Narodytska, Toby Walsh: Reformulating Global Grammar Constraints. CoRR abs/0903.0475 (2009) | |
| i8 | George Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints. CoRR abs/0903.0479 (2009) | |
| i7 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decompositions of All Different, Global Cardinality and Related Constraints. CoRR abs/0905.3755 (2009) | |
| i6 | Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh: Circuit Complexity and Decompositions of Global Constraints. CoRR abs/0905.3757 (2009) | |
| i5 | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh: Restricted Global Grammar Constraints. CoRR abs/0906.5233 (2009) | |
| i4 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh: Decomposition of the NVALUE constraint. CoRR abs/0909.3273 (2009) | |
| i3 | George Katsirelos, Toby Walsh: Symmetries of Symmetry Breaking Constraints. CoRR abs/0909.3276 (2009) | |
| i2 | George Katsirelos, Nina Narodytska, Toby Walsh: The Weighted CFG Constraint. CoRR abs/0909.4456 (2009) | |
| i1 | George Katsirelos, Nina Narodytska, Toby Walsh: Breaking Generator Symmetry. CoRR abs/0909.5099 (2009) | |
| 2008 | ||
| c6 | ||
| c5 | George Katsirelos, Nina Narodytska, Toby Walsh: Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98 | |
| 2007 | ||
| c4 | George Katsirelos, Toby Walsh: A Compression Algorithm for Large Arity Extensional Constraints. CP 2007: 379-393 | |
| 2005 | ||
| c3 | ||
| 2003 | ||
| c2 | ||
| 2001 | ||
| c1 | ||
Data released under the ODC-BY 1.0 license — See also our legal information page