The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "George Katsirelos" ( http://dblp.L3S.de/Authors/George_Katsirelos )

  Author page on DBLP  Author page in RDF  Community of George Katsirelos in ASPL-2

Publication years (Num. hits)
2001-2009 (19) 2010-2012 (19) 2013-2016 (17) 2017-2019 (4)
Publication types (Num. hits)
article(23) incollection(1) inproceedings(35)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 60 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Emmanuel Hebrard, George Katsirelos A Hybrid Approach for Exact Coloring of Massive Graphs. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emmanuel Hebrard, George Katsirelos Clause Learning and New Bounds for Graph Coloring. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Hebrard, George Katsirelos Conflict Directed Clause Learning for Maximum Weighted Clique Problem. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon de Givry, George Katsirelos Clique Cuts in Weighted Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Barry Hurley 0001, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry Multi-language evaluation of exact solvers in graphical model discrete optimization. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, George Katsirelos Finding a Collection of MUSes Incrementally. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh Ranking Constraints. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh New Approaches to Constraint Acquisition. Search on Bibsonomy Data Mining and Constraint Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, George Katsirelos Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Bessière, Emmanuel Hebrard, George Katsirelos, Toby Walsh Reasoning about Connectivity Constraints. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven David Prestwich, Thomas Schiex, Seydou Traoré Computational protein design as an optimization problem. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi The Complexity of Integer Bound Propagation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh Reasoning about Constraint Models. Search on Bibsonomy PRICAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh The Balance Constraint Family. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos Relaxation Search: A Simple Way of Managing Optional Clauses. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Seydou Traoré, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe A new framework for computational protein design through cost function network optimization. Search on Bibsonomy Bioinformatics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Constraint Acquisition via Partial Queries. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh Detecting and Exploiting Subproblem Tractability. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The SeqBin Constraint Revisited Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex Computational Protein Design as a Cost Function Network Optimization Problem. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Laurent Simon Eigenvector Centrality in Industrial SAT Instances. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The SeqBin Constraint Revisited. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Laurent Simon Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The weighted Grammar constraint. Search on Bibsonomy Annals OR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi The Complexity of Integer Bound Propagation. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh Complexity of and Algorithms for Borda Manipulation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh Complexity of and Algorithms for Borda Manipulation. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1George Katsirelos, Toby Walsh Symmetries of Symmetry Breaking Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Propagating Conjunctions of AllDifferent Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh An Empirical Study of Borda Manipulation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decomposition of the NVALUE constraint Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decomposition of the NValue Constraint. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, George Katsirelos, Laurent Simon A Restriction of Extended Resolution for Clause Learning SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Propagating Conjunctions of AllDifferent Constraints. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1George Katsirelos, Toby Walsh Symmetries of Symmetry Breaking Constraints. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The Weighted CFG Constraint Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decompositions of All Different, Global Cardinality and Related Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Breaking Generator Symmetry Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Reformulating Global Grammar Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Combining Symmetry Breaking and Global Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Toby Walsh Symmetries of Symmetry Breaking Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh Restricted Global Grammar Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decomposition of the NVALUE constraint Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh Circuit Complexity and Decompositions of Global Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh Restricted Global Grammar Constraints. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Reformulating Global Grammar Constraints. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh Circuit Complexity and Decompositions of Global Constraints. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Decompositions of All Different, Global Cardinality and Related Constraints. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh Combining Symmetry Breaking and Global Constraints. Search on Bibsonomy CSCLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Nina Narodytska, Toby Walsh The Weighted CfgConstraint. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Toby Walsh A Compression Algorithm for Large Arity Extensional Constraints. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Fahiem Bacchus Generalized NoGoods in CSPs. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1George Katsirelos, Fahiem Bacchus Unrestricted Nogood Recording in CSP Search. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1George Katsirelos, Fahiem Bacchus GAC on Conjunctions of Constraints. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license