Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
George Katsirelos
2010 – today
- 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)
2000 – 2009
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-11 23:06 CET by the dblp team