George Katsirelos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
12
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Assignment Problems in Cost Function Networks. | Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano, Thomas Schiex |
| 2026 | CP | End-to-End Certified Graph Colouring. | Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2026 | CPAIOR | Singleton Node Consistency for Quadratic Assignment Problems in Cost Function Networks. | Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex |
| 2025 | CHI | Explaining Complex ML Models to Domain Experts Using LLM & Visualization: An Exploration in the French Breadmaking Industry. | Briggs Twitchell, George Katsirelos, Anastasia Bezerianos, Nadia Boukhelifa |
| 2025 | ICTAI | Virtual Arc Consistency for Linear Constraints in Cost Function Networks. | Pierre Montalbano, Simon de Givry, George Katsirelos |
| 2025 | SAT | Core-Guided Linear Programming-Based Maximum Satisfiability. | George Katsirelos |
| 2023 | CPAIOR | Virtual Pairwise Consistency in Cost Function Networks. | Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Toms Werner |
| 2023 | SAT | An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming. | George Katsirelos |
| 2022 | CP | Parallel Hybrid Best-First Search. | Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry |
| 2022 | CP | Structured Set Variable Domains in Bayesian Network Structure Learning. | Fulya Trsser, Simon de Givry, George Katsirelos |
| 2022 | CPAIOR | Multiple-choice Knapsack Constraint in Graphical Models. | Pierre Montalbano, Simon de Givry, George Katsirelos |
| 2022 | ICML | Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. | Valentin Durante, George Katsirelos, Thomas Schiex |
| 2022 | ISAIM | Learning the structure of Bayesian Networks using constraint programming. | Fulya Trsser, Simon de Givry, George Katsirelos |
| 2021 | IJCAI | Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming. | Fulya Trsser, Simon de Givry, George Katsirelos |
| 2020 | AAAI | Chain Length and CSPs Learnable with Few Queries. | Christian Bessiere, Clment Carbonnel, George Katsirelos |
| 2020 | CPAIOR | Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. | Fulya Trsser, Simon de Givry, George Katsirelos |
| 2019 | CPAIOR | A Hybrid Approach for Exact Coloring of Massive Graphs. | Emmanuel Hebrard, George Katsirelos |
| 2019 | IJCAI | Clause Learning and New Bounds for Graph Coloring. | Emmanuel Hebrard, George Katsirelos |
| 2019 | ICTAI | Guaranteed Diversity & Quality for the Weighted CSP. | Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex |
| 2018 | CP | Clause Learning and New Bounds for Graph Coloring. | Emmanuel Hebrard, George Katsirelos |
| 2018 | IJCAI | Conflict Directed Clause Learning for Maximum Weighted Clique Problem. | Emmanuel Hebrard, George Katsirelos |
| 2017 | CP | Clique Cuts in Weighted Constraint Satisfaction. | Simon de Givry, George Katsirelos |
| 2016 | CPAIOR | Finding a Collection of MUSes Incrementally. | Fahiem Bacchus, George Katsirelos |
| 2016 | IJCAI | Ranking Constraints. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh |
| 2015 | CAV | Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets. | Fahiem Bacchus, George Katsirelos |
| 2015 | CP | Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. | David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki |
| 2015 | IJCAI | Reasoning about Connectivity Constraints. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh |
| 2014 | AAAI | Relaxation Search: A Simple Way of Managing Optional Clauses. | Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos |
| 2014 | CP | The Balance Constraint Family. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, milie Picard-Cantin, Claude-Guy Quimper, Toby Walsh |
| 2014 | PRICAI | Reasoning about Constraint Models. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh |
| 2013 | AAAI | Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. | George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon |
| 2013 | IJCAI | Constraint Acquisition via Partial Queries. | Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2013 | IJCAI | Detecting and Exploiting Subproblem Tractability. | Christian Bessiere, Clment Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh |
| 2012 | CP | Computational Protein Design as a Cost Function Network Optimization Problem. | David Allouche, Seydou Traor, Isabelle Andr, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex |
| 2012 | CP | The SeqBin Constraint Revisited. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2012 | CP | Eigenvector Centrality in Industrial SAT Instances. | George Katsirelos, Laurent Simon |
| 2012 | SAT | Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). | George Katsirelos, Laurent Simon |
| 2011 | AAAI | Complexity of and Algorithms for Borda Manipulation. | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2010 | AAAI | A Restriction of Extended Resolution for Clause Learning SAT Solvers. | Gilles Audemard, George Katsirelos, Laurent Simon |
| 2010 | AAAI | Propagating Conjunctions of AllDifferent Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | CP | Decomposition of the NValue Constraint. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | CP | On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2010 | ECAI | Symmetries of Symmetry Breaking Constraints. | George Katsirelos, Toby Walsh |
| 2009 | CP | Restricted Global Grammar Constraints. | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
| 2009 | CPAIOR | Reformulating Global Grammar Constraints. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2009 | IJCAI | Decompositions of All Different, Global Cardinality and Related Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2009 | IJCAI | Circuit Complexity and Decompositions of Global Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2008 | CPAIOR | The Weighted CfgConstraint. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2007 | CP | A Compression Algorithm for Large Arity Extensional Constraints. | George Katsirelos, Toby Walsh |
| 2005 | AAAI | Generalized NoGoods in CSPs. | George Katsirelos, Fahiem Bacchus |
| 2003 | CP | Unrestricted Nogood Recording in CSP Search. | George Katsirelos, Fahiem Bacchus |
| 2001 | CP | GAC on Conjunctions of Constraints. | George Katsirelos, Fahiem Bacchus |