default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorge Katsirelos
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 328: 104075 (2024)- 2023
- [j10]Christian Bessiere
, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Learning constraints through partial queries. Artif. Intell. 319: 103896 (2023) - [c47]Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner:
Virtual Pairwise Consistency in Cost Function Networks. CPAIOR 2023: 417-426 - [c46]George Katsirelos:
An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming. SAT 2023: 12:1-12:19 - 2022
- [j9]Lise Pomiès, Céline Brouard, Harold Duruflé, Élise Maigné, Clément Carré, Louise Gody, Fulya Trösser, George Katsirelos, Brigitte Mangin, Nicolas B. Langlade, Simon de Givry:
Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals. Bioinform. 38(17): 4127-4134 (2022) - [c45]Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry:
Parallel Hybrid Best-First Search. CP 2022: 7:1-7:10 - [c44]Fulya Trösser, Simon de Givry, George Katsirelos:
Structured Set Variable Domains in Bayesian Network Structure Learning. CP 2022: 37:1-37:9 - [c43]Pierre Montalbano, Simon de Givry, George Katsirelos:
Multiple-choice Knapsack Constraint in Graphical Models. CPAIOR 2022: 282-299 - [c42]Valentin Durante, George Katsirelos, Thomas Schiex:
Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. ICML 2022: 5726-5741 - [c41]Fulya Trösser, Simon de Givry, George Katsirelos:
Learning the structure of Bayesian Networks using constraint programming. ISAIM 2022 - 2021
- [j8]Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex:
Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. Algorithms 14(6): 168 (2021) - [c40]Fulya Trösser, Simon de Givry, George Katsirelos:
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. IJCAI 2021: 4250-4257 - [i20]Fulya Trösser, Simon de Givry, George Katsirelos:
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. CoRR abs/2106.12269 (2021) - [i19]Valentin Durante, George Katsirelos, Thomas Schiex:
Efficient semidefinite bounds for multi-label discrete graphical models. CoRR abs/2111.12491 (2021) - 2020
- [j7]Emmanuel Hebrard, George Katsirelos:
Constraint and Satisfiability Reasoning for Graph Coloring. J. Artif. Intell. Res. 69: 33-65 (2020) - [c39]Christian Bessiere, Clément Carbonnel, George Katsirelos:
Chain Length and CSPs Learnable with Few Queries. AAAI 2020: 1420-1427 - [c38]Fulya Trösser, Simon de Givry, George Katsirelos:
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. CPAIOR 2020: 475-491 - [i18]Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Partial Queries for Constraint Acquisition. CoRR abs/2003.06649 (2020)
2010 – 2019
- 2019
- [c37]Emmanuel Hebrard, George Katsirelos:
A Hybrid Approach for Exact Coloring of Massive Graphs. CPAIOR 2019: 374-390 - [c36]Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex:
Guaranteed Diversity & Quality for the Weighted CSP. ICTAI 2019: 18-25 - [c35]Emmanuel Hebrard, George Katsirelos:
Clause Learning and New Bounds for Graph Coloring. IJCAI 2019: 6166-6170 - 2018
- [c34]Emmanuel Hebrard, George Katsirelos:
Clause Learning and New Bounds for Graph Coloring. CP 2018: 179-194 - [c33]Emmanuel Hebrard, George Katsirelos:
Conflict Directed Clause Learning for Maximum Weighted Clique Problem. IJCAI 2018: 1316-1323 - 2017
- [c32]Simon de Givry, George Katsirelos:
Clique Cuts in Weighted Constraint Satisfaction. CP 2017: 97-113 - 2016
- [j6]Barry Hurley, 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. Constraints An Int. J. 21(3): 413-434 (2016) - [c31]Fahiem Bacchus, George Katsirelos:
Finding a Collection of MUSes Incrementally. CPAIOR 2016: 35-44 - [c30]Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh:
Ranking Constraints. IJCAI 2016: 705-711 - [p1]Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
New Approaches to Constraint Acquisition. Data Mining and Constraint Programming 2016: 51-76 - 2015
- [c29]Fahiem Bacchus, George Katsirelos:
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. CAV (2) 2015: 70-86 - [c28]David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki:
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP 2015: 12-29 - [c27]Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
Reasoning about Connectivity Constraints. IJCAI 2015: 2568-2574 - 2014
- [j5]David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré:
Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) - [j4]Jessica 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. Artif. Intell. 217: 20-42 (2014) - [c26]Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos:
Relaxation Search: A Simple Way of Managing Optional Clauses. AAAI 2014: 835-841 - [c25]Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh:
The Balance Constraint Family. CP 2014: 174-189 - [c24]Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh:
Reasoning about Constraint Models. PRICAI 2014: 795-808 - [i17]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. CoRR abs/1401.3887 (2014) - 2013
- [j3]Seydou 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. Bioinform. 29(17): 2129-2136 (2013) - [c23]George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon:
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI 2013: 481-488 - [c22]Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
Detecting and Exploiting Subproblem Tractability. IJCAI 2013: 468-474 - [c21]Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Constraint Acquisition via Partial Queries. IJCAI 2013: 475-481 - 2012
- [c20]George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CP 2012: 332-347 - [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. Ann. Oper. Res. 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. 40: 657-676 (2011) - [c16]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. AAAI 2011: 657-662 - [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: 15-20 - [c14]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. AAAI 2010: 27-32 - [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]George Katsirelos, Toby Walsh:
Symmetries of Symmetry Breaking Constraints. ECAI 2010: 861-866 - [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
- [b1]George Katsirelos:
Nogood Processing in CSPs. University of Toronto, Canada, 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]George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CfgConstraint. CPAIOR 2008: 323-327 - [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]George Katsirelos, Fahiem Bacchus:
Generalized NoGoods in CSPs. AAAI 2005: 390-396 - 2003
- [c2]George Katsirelos, Fahiem Bacchus:
Unrestricted Nogood Recording in CSP Search. CP 2003: 873-877 - 2001
- [c1]George Katsirelos, Fahiem Bacchus:
GAC on Conjunctions of Constraints. CP 2001: 610-614
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
