George Katsirelos

Total : 60 publications

2026

Communication dans un congrès

• Assignment Problems in Cost Function Networks
  Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano, Thomas Schiex
  <div><p>To efficiently solve exact discrete optimization problems, branch and bound algorithms require tight bounds. In constraint programming, for op...
  hal-05508673 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2025

Communication dans un congrès

• Virtual Arc Consistency for Linear Constraints in Cost Function Networks
  Pierre Montalbano, Simon de Givry, George Katsirelos
  In Constraint Programming, solving discrete minimization problems with hard and soft constraints can be done either using (i) soft global constraints,...
  hal-05379514 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Core-Guided Linear Programming-Based Maximum Satisfiability
  George Katsirelos
  The core-guided algorithm OLL is the basis of some of the most successful algorithms for MaxSAT in recent evaluations. It works by iteratively finding...
  hal-05222608 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Explaining Complex ML Models to Domain Experts Using LLM &amp; Visualization: An Exploration in the French Breadmaking Industry
  Briggs Twitchell, George Katsirelos, Anastasia Bezerianos, Nadia Boukhelifa
  Modeling a complex system from data can aid understanding and decision-making. Bayesian networks are one such method that, when accurately constructed...
  hal-05222926 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

Article dans une revue

• A comparison of optimization techniques for large-scale allocation of soybean crops
  Mathilde Chen, Alberto Tonda, George Katsirelos, David Makowski
  The optimal allocation of crops to different parcels of land is a problem of paramount practical importance, not only to improve food and feed product...
  hal-05105887 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2023

Communication dans un congrès

• An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming
  George Katsirelos
  Many current complete MaxSAT algorithms fall into two categories: core-guided or implicit hitting set. The two kinds of algorithms seem to have comple...
  hal-04199433 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

Article dans une revue

• Learning Constraints through Partial Queries
  Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
  Learning constraint networks is known to require a number of membership queries exponential in the number of variables. In this paper, we learn constr...
  lirmm-04028358 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2022

Article dans une revue

• Gene regulatory network inference methodology for genomic and transcriptomic data acquired in genetically related heterozygote individuals
  Lise Pomiès, Celine Brouard, Harold Duruflé, Élise Maigné, Clément Carré, Louise Gody, Fulya Trösser, George Katsirelos, Brigitte Mangin, Nicolas Langlade, Simon de Givry
  Motivation Inferring gene regulatory networks in non-independent genetically related panels is a methodological challenge. This hampers evolutionary a...
  hal-03776333 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

Communication dans un congrès

• Multiple-choice Knapsack Constraint in Graphical Models
  Pierre Montalbano, Simon de Givry, George Katsirelos
  Graphical models, such as cost function networks (CFNs), can compactly express large decomposable functions, which leads to efficient inference algori...
  hal-04106508
  📚 Exporter : BibTeX | EndNote | DC
  

2021

Chapitre d'ouvrage

• Cost Function Networks to Solve Large Computational Protein Design Problems
  David Allouche, Sophie Barbe, Simon de Givry, George Katsirelos, Yahia Lebbah, Samir Loudni, Abdelkader Ouali, Thomas Schiex, David Simoncini, Matthias Zytnicki
  Proteins are chains of simple molecules called amino acids. The sequence of amino acids in the chain defines the three-dimensional shape of the protei...
  hal-02177634 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2020

Pré-publication, Document de travail

• Partial Queries for Constraint Acquisition
  Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
  Learning constraint networks is known to require a number of membership queries exponential in the number of variables. In this paper, we learn constr...
  hal-03088013
  📚 Exporter : BibTeX | EndNote | DC
  

Communication dans un congrès

• Relaxation-Aware Heuristics for Exact Optimization in Graphical Models
  Fulya Trösser, Simon De Givry, George Katsirelos
  Exact solvers for optimization problems on graphical models, such as Cost Function Networks and Markov Random Fields, typically use branch-and-bound. ...
  hal-02946565 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Chain Length and CSPs Learnable with Few Queries
  Christian Bessiere, Clement Carbonnel, George Katsirelos
  The goal of constraint acquisition is to learn exactly a constraint network given access to an oracle that answers truthfully certain types of queries...
  hal-02414056 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

Article dans une revue

• Constraint and Satisfiability Reasoning for Graph Coloring
  Emmanuel Hébrard, George Katsirelos
  Graph coloring is an important problem in combinatorial optimization and a major component of numerous allocation and scheduling problems. In this pap...
  hal-02907062 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2019

Communication dans un congrès

• Guaranteed Diversity & Quality for the Weighted CSP
  Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
  In many applications of constraint programming, it is often impossible to capture all the relevant information in one numerical criterion. In this cas...
  hal-03181764
  📚 Exporter : BibTeX | EndNote | DC
  
• A Hybrid Approach for Exact Coloring of Massive Graphs
  Emmanuel Hébrard, George Katsirelos
  The graph coloring problem appears in numerous applications, yet many state-of-the-art methods are hardly applicable to real world, very large, networ...
  hal-02076298 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

Autre publication scientifique

• Qualité et diversité garanties dans les réseaux de fonctions de coût
  Manon Ruffini, Jelena Vucinic, Simon De Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
  
  hal-02963117
  📚 Exporter : BibTeX | EndNote | DC
  

2018

Communication dans un congrès

• Clause Learning and New Bounds for Graph Coloring
  Emmanuel Hébrard, George Katsirelos
  Graph coloring is a major component of numerous allocation and scheduling problems. We introduce a hybrid CP/SAT approach to graph coloring based on e...
  hal-01873500 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Conflict Directed Clause Learning for the Maximum Weighted Clique Problem
  Emmanuel Hébrard, George Katsirelos
  The maximum clique and minimum vertex cover problems are among Karp's 21 NP-complete problems , and have numerous applications: in combi-natorial auct...
  hal-01873485 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2017

Communication dans un congrès

• Clique Cuts in Weighted Constraint Satisfaction
  Simon de Givry, George Katsirelos
  In integer programming, cut generation is crucial for improving the tightness of the linear relaxation of the problem. This is relevant for weighted c...
  hal-01605434 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Contraintes de Classement
  Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh
  La notion de classement se manifeste dans de nombreux domaines : la recherche d’information, la planification de tournois, la bibliométrie, ou enco...
  lirmm-02059660 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Reparameterization: a Universal Tool for Optimization and Counting
  George Katsirelos
  Reparameterization: a Universal Tool for Optimization and Counting. Beyond NP meeting 2017...
  hal-01604677 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2016

Communication dans un congrès

• Ranking Constraints
  Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
  We need to reason about rankings of objects in a wide variety of domains including information retrieval, sports tournaments, bibliometrics, and stati...
  lirmm-01374715 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• MUSes and MCSes
  George Katsirelos, Fahiem Bacchus
  MUSes and MCSes. AAAI 2016 Workshop on Beyond NP...
  hal-01606478 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

Article dans une revue

• Multi-language evaluation of exact solvers in graphical model discrete optimization
  Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry
  By representing the constraints and objective function in factorized form, graphical models can concisely define various NP-hard optimization problems...
  hal-02633083
  📚 Exporter : BibTeX | EndNote | DC
  

Chapitre d'ouvrage

• New Approaches to Constraint Acquisition
  Christian Bessiere, Abderrazak Daoudi, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
  In this chapter we present the recent results on constraint acquisition obtained by the Coconut team and their collaborators. In a first part we show ...
  hal-01606245 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2015

Communication dans un congrès

• Anytime hybrid best-first search with tree decomposition for weighted CSP
  David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
  We propose Hybrid Best-First Search (HBFS), a search strategy for optimization problems that combines Best-First Search (BFS) and Depth-First Search (...
  hal-01198361
  📚 Exporter : BibTeX | EndNote | DC
  
• Reasoning about Connectivity Constraints
  Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Toby Walsh
  Many problems in computational sustainability involve constraints on connectivity. When designing a new wildlife corridor, we need it to be geographic...
  hal-01606489 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Computational Enzyme Design through deterministic optimization and counting
  Thomas Schiex, Seydou Traoré, David Simoncini, Sophie Barbe, Simon de Givry, George Katsirelos, David Allouche, Isabelle André
  Computational Enzyme Design through deterministic optimization and counting. 3DSig Structural Bioinformatics and Computational Biophysics 2015...
  hal-01605405
  📚 Exporter : BibTeX | EndNote | DC
  

Chapitre d'ouvrage

• Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets
  Fahiem Bacchus, George Katsirelos
  An unsatisfiable set is a set of formulas whose conjunction is unsatisfiable. Every unsatisfiable set can be corrected, i.e., made satisfiable, by rem...
  hal-01606450
  📚 Exporter : BibTeX | EndNote | DC
  

2014

Communication dans un congrès

• Reasoning about Constraint Models
  Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
  We propose a simple but powerful framework for reasoning about properties of models specified in languages like AMPL, OPL, Zinc or Essence. Using this...
  hal-02742999 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• The Balance Constraint Family
  Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
  The Balance constraint introduced by Beldiceanu ensures solutions are balanced. This is useful when, for example, there is a requirement for solutions...
  lirmm-01067459 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• The balance constraint family
  Christian Bessiere, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
  The BALANCE constraint introduced by Beldiceanu ensures solutions are balanced. This is useful when, for example, there is a requirement for solutions...
  hal-02743284
  📚 Exporter : BibTeX | EndNote | DC
  
• Relaxation search: a simple way of managing optional clauses
  Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos
  A number of problems involve managing a set of optional clauses. For example, the soft clauses in a MAXSAT formula are optional—they can be falsifie...
  hal-02738910 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques
  David Allouche, Simon de Givry, Barry Hurley, George Katsirelos, Barry O'Sullivan, Thomas Schiex
  Le cadre des modèles graphiques à variables discrètes permet de modéliser des problèmes d'optimisation NP- difficiles pour lesquels la fonction o...
  hal-01198360 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Acquisition de contraintes avec des requêtes partielles
  Christian Bessiere, Remi Coletta, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
  Nous apprenons des réseaux de contraintes en utilisant des requêtes partielles. Autrement dit, nous demandons à l’utilisateur de classer une affe...
  lirmm-01229549 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical Models
  Simon de Givry, Barry Hurley, David Allouche, George Katsirelos, Thomas Schiex, Barry O'Sullivan
  Graphical models on discrete variables allows to model NP-hard optimization problems where the objective function is factorized into a set of local fu...
  hal-00946323
  📚 Exporter : BibTeX | EndNote | DC
  

Article dans une revue

• Computational protein design as an optimization problem
  David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steve Prestwich, Thomas Schiex, Seydou Traore
  Proteins are chains of simple molecules called amino acids. The three-dimensional shape of a protein and its amino acid composition define its biologi...
  hal-01268554
  📚 Exporter : BibTeX | EndNote | DC
  

2013

Communication dans un congrès

• Table Constraints in Clause Learning CSP Solvers
  Ozan Erdem, George Katsirelos, Fahiem Bacchus
  We investigate alternative methods for implementing table constraints in clause learning CSP solvers (CL solvers). CL solvers have been an important d...
  hal-01604172
  📚 Exporter : BibTeX | EndNote | DC
  
• Detecting and Exploiting Subproblem Tractability
  Christian Bessiere, Clément Carbonnel, Emmanuel Hébrard, George Katsirelos, Toby Walsh
  Constraint satisfaction problems may be nearly tractable. For instance, most of the relations in a problem might belong to a tractable language. We in...
  lirmm-00830330 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Constraint Acquisition via Partial Queries
  Christian Bessiere, Remi Coletta, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
  We learn constraint networks by asking the user partial queries. That is, we ask the user to classify assignments to subsets of the variables as posit...
  lirmm-00830325 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Resolution and parallelizability: barriers to the effficient parallelization of SAT solvers
  George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
  Recent attempts to create versions of Satisfiability (SAT) solvers that exploit parallel hardware and information sharing have met with limited succes...
  hal-02746869 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers
  George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
  
  hal-00845507
  📚 Exporter : BibTeX | EndNote | DC
  
• A new framework for computational protein design through cost function network optimization
  Seydou Traore, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe
  absent...
  hal-01268555 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Computational protein design as a cost function network optimization problem
  Thomas Schiex, David Allouche, Simon de Givry, George Katsirelos, Sophie Barbe, Seydou Traore, Jessica Davies, Isabelle André
  absent...
  hal-01268632
  📚 Exporter : BibTeX | EndNote | DC
  

Article dans une revue

• A new framework for computational protein design through cost function network optimization
  Seydou Traore, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe
  Motivation: The main challenge for structure-based computational protein design (CPD) remains the combinatorial nature of the search space. Even in it...
  hal-01268153 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  

2012

Communication dans un congrès

• The SeqBin constraint revisited
  George Katsirelos, Nina Narodytska, Toby Walsh
  We revisit the SEQBIN constraint [1]. This meta-constraint subsumes a number of important global constraints like CHANGE [2], SMOOTH [3] and INCREASIN...
  hal-02748668 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Computational protein design as a cost function network optimization problem
  David Allouche, Seydou Traore, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex
  Proteins are chains of simple molecules called amino acids. The three-dimensional shape of a protein and its amino acid composition define its biologi...
  hal-01191320 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Eigenvector centrality in industrial SAT instances
  Laurent Simon, George Katsirelos
  
  hal-00790505
  📚 Exporter : BibTeX | EndNote | DC
  
• Learning Polynomials over GF(2) in a SAT Solver
  George Katsirelos, Laurent Simon
  
  hal-00790511
  📚 Exporter : BibTeX | EndNote | DC
  

2011

Communication dans un congrès

• Complexity of and Algorithms for Borda Manipulation
  George Katsirelos, Toby Walsh, Jessica Davies, Nina Narodytska
  We prove that it is NP-hard for a coalition of two manipulators to compute how to manipulate the Borda voting rule. This resolves one of the last open...
  hal-00642093
  📚 Exporter : BibTeX | EndNote | DC
  

2010

Communication dans un congrès

• Decomposition of the NValue Constraint
  Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
  We study decompositions of the global NVALUE constraint. Our main contribution is theoretical: we show that there are propagators for global constrain...
  lirmm-00558048 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Propagating Conjuctions of ALLDIFFERENT Constraints
  Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
  We study propagation algorithms for the conjunction of two ALLDIFFERENT constraints. Solutions of an ALLDIFFERENT constraint can be seen as perfect ma...
  lirmm-00558126 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• Une restriction de la résolution étendue pour les démonstrateurs SAT modernes
  Laurent Simon, Gilles Audemard, George Katsirelos
  
  inria-00543640
  📚 Exporter : BibTeX | EndNote | DC
  
• Une restriction de la résolution étendue pour les démonstrateurs SAT modernes
  Gilles Audemard, George Katsirelos, Laurent Simon
  La plupart des solveurs SAT modernes se basent, avec succès, sur les mécanismes d'analyse de conflits et d'apprentissage initialement introduits dan...
  inria-00519162 | ⬇️ Télécharger
  📚 Exporter : BibTeX | EndNote | DC
  
• A Restriction of Extended Resolution for Clause Learning SAT Solvers
  Gilles Audemard, George Katsirelos, Laurent Simon
  
  inria-00543638
  📚 Exporter : BibTeX | EndNote | DC
  
• On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry
  George Katsirelos, Nina Narodytska, Toby Walsh
  
  hal-00865476
  📚 Exporter : BibTeX | EndNote | DC
  
• Symmetries of Symmetry Breaking Constraints
  George Katsirelos
  
  hal-00865390
  📚 Exporter : BibTeX | EndNote | DC
  

2009

Communication dans un congrès

• Circuit Complexity and Decompositions of Global Constraints
  Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
  
  lirmm-00382608
  📚 Exporter : BibTeX | EndNote | DC
  
• Decompositions of All Different, Global Cardinality and Related Constraints
  Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
  
  lirmm-00382607
  📚 Exporter : BibTeX | EndNote | DC