George Katsirelos

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 27

Top Topics

Graphical Models

Clause Learning

Top Venues

Publications

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 (2024)
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Learning constraints through partial queries. Artif. Intell. 319 (2023)
George Katsirelos
An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming. SAT (2023)
Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner
Virtual Pairwise Consistency in Cost Function Networks. CPAIOR (2023)
Fulya Trösser, Simon de Givry, George Katsirelos
Structured Set Variable Domains in Bayesian Network Structure Learning. CP (2022)
Fulya Trösser, Simon de Givry, George Katsirelos
Learning the structure of Bayesian Networks using constraint programming. ISAIM (2022)
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) (2022)
Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry
Parallel Hybrid Best-First Search. CP (2022)
Pierre Montalbano, Simon de Givry, George Katsirelos
Multiple-choice Knapsack Constraint in Graphical Models. CPAIOR (2022)
Valentin Durante, George Katsirelos, Thomas Schiex
Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. ICML (2022)
Fulya Trösser, Simon de Givry, George Katsirelos
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. IJCAI (2021)
Valentin Durante, George Katsirelos, Thomas Schiex
Efficient semidefinite bounds for multi-label discrete graphical models. CoRR (2021)
Fulya Trösser, Simon de Givry, George Katsirelos
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. CoRR (2021)
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) (2021)
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 (2020)
Emmanuel Hebrard, George Katsirelos
Constraint and Satisfiability Reasoning for Graph Coloring. J. Artif. Intell. Res. 69 (2020)
Christian Bessiere, Clément Carbonnel, George Katsirelos
Chain Length and CSPs Learnable with Few Queries. AAAI (2020)
Fulya Trösser, Simon de Givry, George Katsirelos
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. CPAIOR (2020)
Emmanuel Hebrard, George Katsirelos
A Hybrid Approach for Exact Coloring of Massive Graphs. CPAIOR (2019)
Emmanuel Hebrard, George Katsirelos
Clause Learning and New Bounds for Graph Coloring. IJCAI (2019)
Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
Guaranteed Diversity & Quality for the Weighted CSP. ICTAI (2019)
Emmanuel Hebrard, George Katsirelos
Clause Learning and New Bounds for Graph Coloring. CP (2018)
Emmanuel Hebrard, George Katsirelos
Conflict Directed Clause Learning for Maximum Weighted Clique Problem. IJCAI (2018)
Simon de Givry, George Katsirelos
Clique Cuts in Weighted Constraint Satisfaction. CP (2017)
Fahiem Bacchus, George Katsirelos
Finding a Collection of MUSes Incrementally. CPAIOR (2016)
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) (2016)
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh
Ranking Constraints. IJCAI (2016)
David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP (2015)
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh
Reasoning about Connectivity Constraints. IJCAI (2015)
Fahiem Bacchus, George Katsirelos
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. CAV (2) (2015)
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
The Balance Constraint Family. CP (2014)
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 (2014)
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
Reasoning about Constraint Models. PRICAI (2014)
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 (2014)
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
The Complexity of Integer Bound Propagation. CoRR (2014)
Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos
Relaxation Search: A Simple Way of Managing Optional Clauses. AAAI (2014)
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Constraint Acquisition via Partial Queries. IJCAI (2013)
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) (2013)
Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
Detecting and Exploiting Subproblem Tractability. IJCAI (2013)
George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI (2013)
George Katsirelos, Laurent Simon
Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT (2012)
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)
George Katsirelos, Nina Narodytska, Toby Walsh
The SeqBin Constraint Revisited. CP (2012)
George Katsirelos, Laurent Simon
Eigenvector Centrality in Industrial SAT Instances. CP (2012)
George Katsirelos, Nina Narodytska, Toby Walsh
The SeqBin Constraint Revisited CoRR (2012)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
Complexity of and Algorithms for Borda Manipulation. AAAI (2011)
George Katsirelos, Nina Narodytska, Toby Walsh
The weighted Grammar constraint. Ann. Oper. Res. 184 (1) (2011)
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. 40 (2011)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
Complexity of and Algorithms for Borda Manipulation CoRR (2011)
George Katsirelos, Nina Narodytska, Toby Walsh
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry CoRR (2010)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Decomposition of the NVALUE constraint CoRR (2010)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Propagating Conjunctions of AllDifferent Constraints CoRR (2010)
Gilles Audemard, George Katsirelos, Laurent Simon
A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI (2010)
George Katsirelos, Toby Walsh
Symmetries of Symmetry Breaking Constraints CoRR (2010)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Decomposition of the NValue Constraint. CP (2010)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Propagating Conjunctions of AllDifferent Constraints. AAAI (2010)
George Katsirelos, Toby Walsh
Symmetries of Symmetry Breaking Constraints. ECAI (2010)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
An Empirical Study of Borda Manipulation CoRR (2010)
George Katsirelos, Nina Narodytska, Toby Walsh
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP (2010)
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
Restricted Global Grammar Constraints. CP (2009)
George Katsirelos, Toby Walsh
Symmetries of Symmetry Breaking Constraints CoRR (2009)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Decomposition of the NVALUE constraint CoRR (2009)
George Katsirelos, Nina Narodytska, Toby Walsh
The Weighted CFG Constraint CoRR (2009)
George Katsirelos, Nina Narodytska, Toby Walsh
Breaking Generator Symmetry CoRR (2009)
George Katsirelos, Nina Narodytska, Toby Walsh
Reformulating Global Grammar Constraints CoRR (2009)
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
Restricted Global Grammar Constraints CoRR (2009)
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
Circuit Complexity and Decompositions of Global Constraints CoRR (2009)
George Katsirelos, Nina Narodytska, Toby Walsh
Combining Symmetry Breaking and Global Constraints CoRR (2009)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI (2009)
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
Circuit Complexity and Decompositions of Global Constraints. IJCAI (2009)
George Katsirelos, Nina Narodytska, Toby Walsh
Reformulating Global Grammar Constraints. CPAIOR (2009)
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Decompositions of All Different, Global Cardinality and Related Constraints CoRR (2009)
George Katsirelos, Nina Narodytska, Toby Walsh
Combining Symmetry Breaking and Global Constraints. CSCLP (2008)
George Katsirelos, Nina Narodytska, Toby Walsh
The Weighted CfgConstraint. CPAIOR (2008)
George Katsirelos, Toby Walsh
A Compression Algorithm for Large Arity Extensional Constraints. CP (2007)
George Katsirelos, Fahiem Bacchus
Generalized NoGoods in CSPs. AAAI (2005)
George Katsirelos, Fahiem Bacchus
Unrestricted Nogood Recording in CSP Search. CP (2003)
George Katsirelos, Fahiem Bacchus
GAC on Conjunctions of Constraints. CP (2001)