George Katsirelos

60
Documents

Publications

Publications

Deposit thumbnail

A comparison of optimization techniques for large-scale allocation of soybean crops

Mathilde Chen , Alberto Tonda , George Katsirelos , David Makowski

ACM Transactions on Evolutionary Learning and Optimization, 2025, 24 p. ⟨10.1145/3744254⟩

Article dans une revue hal-05105887v1
Deposit thumbnail

Learning Constraints through Partial Queries

Christian Bessiere , Clement Carbonnel , Anton Dries , Emmanuel Hebrard , George Katsirelos et al.

Artificial Intelligence (AIJ), 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩

Article dans une revue lirmm-04028358v1
Deposit thumbnail

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é et al.

Bioinformatics, 2022, 38 (17), pp.4127-4134. ⟨10.1093/bioinformatics/btac445⟩

Article dans une revue hal-03776333v1
Deposit thumbnail

Constraint and Satisfiability Reasoning for Graph Coloring

Emmanuel Hébrard , George Katsirelos

Journal of Artificial Intelligence Research, 2020, 69, ⟨10.1613/jair.1.11313⟩

Article dans une revue hal-02907062v1

Multi-language evaluation of exact solvers in graphical model discrete optimization

Barry Hurley , Barry O'Sullivan , David Allouche , George Katsirelos , Thomas Schiex et al.

Constraints, 2016, 21 (3), pp.413-434. ⟨10.1007/s10601-016-9245-y⟩

Article dans une revue hal-02633083v1

Computational protein design as an optimization problem

David Allouche , Isabelle André , Sophie Barbe , Jessica Davies , Simon de Givry et al.

Artificial Intelligence (AIJ), 2014, 212, pp.59-79. ⟨10.1016/j.artint.2014.03.005⟩

Article dans une revue hal-01268554v1
Deposit thumbnail

A new framework for computational protein design through cost function network optimization

Seydou Traore , David Allouche , Isabelle André , Simon de Givry , George Katsirelos et al.

Bioinformatics, 2013, 29 (17), pp.2129-2136. ⟨10.1093/bioinformatics/btt374⟩

Article dans une revue hal-01268153v1
Deposit thumbnail

Assignment Problems in Cost Function Networks

Guidio Sewa , David Allouche , Simon de Givry , George Katsirelos , Pierre Montalbano et al.

The 40th Annual AAAI Conference on Artificial Intelligence, Jan 2026, Singapour, Singapore

Communication dans un congrès hal-05508673v1
Deposit thumbnail

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

CHI 2025 - CHI Conference on Human Factors in Computing Systems, Apr 2025, Yokohama, Japan. pp.1-7, ⟨10.1145/3706599.3706685⟩

Communication dans un congrès hal-05222926v1
Deposit thumbnail

Core-Guided Linear Programming-Based Maximum Satisfiability

George Katsirelos

28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), Aug 2025, Glasgow, United Kingdom. pp.17:1-17:17, ⟨10.4230/LIPIcs.SAT.2025.17⟩

Communication dans un congrès hal-05222608v1
Deposit thumbnail

Virtual Arc Consistency for Linear Constraints in Cost Function Networks

Pierre Montalbano , Simon de Givry , George Katsirelos

37th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2025, Athènes, Greece. pp.246

Communication dans un congrès hal-05379514v1
Deposit thumbnail

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

George Katsirelos

26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Jul 2023, Alghero, Italy. ⟨10.4230/LIPIcs.SAT.2023.12⟩

Communication dans un congrès hal-04199433v1

Multiple-choice Knapsack Constraint in Graphical Models

Pierre Montalbano , Simon de Givry , George Katsirelos

19. International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), Jun 2022, Los Angeles, United States. pp.282-299, ⟨10.1007/978-3-031-08011-1_19⟩

Communication dans un congrès hal-04106508v1
Deposit thumbnail

Relaxation-Aware Heuristics for Exact Optimization in Graphical Models

Fulya Trösser , Simon De Givry , George Katsirelos

CPAIOR 2020: SEVENTEENTH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, Sep 2020, Vienna, Austria. ⟨10.1007/978-3-030-58942-4_31⟩

Communication dans un congrès hal-02946565v1
Deposit thumbnail

Chain Length and CSPs Learnable with Few Queries

Christian Bessiere , Clement Carbonnel , George Katsirelos

AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.1420-1427, ⟨10.1609/aaai.v34i02.5499⟩

Communication dans un congrès hal-02414056v1
Deposit thumbnail

A Hybrid Approach for Exact Coloring of Massive Graphs

Emmanuel Hébrard , George Katsirelos

Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Jun 2019, Thessaloniki, Greece

Communication dans un congrès hal-02076298v1

Guaranteed Diversity & Quality for the Weighted CSP

Manon Ruffini , Jelena Vucinic , Simon de Givry , George Katsirelos , Sophie Barbe et al.

2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, United States. pp.18-25, ⟨10.1109/ICTAI.2019.00012⟩

Communication dans un congrès hal-03181764v1
Deposit thumbnail

Conflict Directed Clause Learning for the Maximum Weighted Clique Problem

Emmanuel Hébrard , George Katsirelos

27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 8p

Communication dans un congrès hal-01873485v1
Deposit thumbnail

Clause Learning and New Bounds for Graph Coloring

Emmanuel Hébrard , George Katsirelos

International Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. 17p

Communication dans un congrès hal-01873500v1
Deposit thumbnail

Contraintes de Classement

Christian Bessiere , Emmanuel Hébrard , George Katsirelos , Zeynep Kiziltan , Toby Walsh

JFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil-sur-mer, France. pp.89-90

Communication dans un congrès lirmm-02059660v1
Deposit thumbnail

Clique Cuts in Weighted Constraint Satisfaction

Simon de Givry , George Katsirelos

The 23rd International Conference on Principles and Practice of Constraint Programming - CP17, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_7⟩

Communication dans un congrès hal-01605434v1
Deposit thumbnail

Reparameterization: a Universal Tool for Optimization and Counting

George Katsirelos

Beyond NP meeting 2017, May 2017, Paris, France

Communication dans un congrès hal-01604677v1
Deposit thumbnail

MUSes and MCSes

George Katsirelos , Fahiem Bacchus

AAAI 2016 Workshop on Beyond NP, Feb 2016, Phoenix, United States

Communication dans un congrès hal-01606478v1
Deposit thumbnail

Ranking Constraints

Christian Bessiere , Emmanuel Hébrard , George Katsirelos , Toby Walsh , Zeynep Kiziltan

IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. pp.705-711

Communication dans un congrès lirmm-01374715v1

Anytime hybrid best-first search with tree decomposition for weighted CSP

David Allouche , Simon de Givry , George Katsirelos , Thomas Schiex , Matthias Zytnicki

CP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 17 p., ⟨10.1007/978-3-319-23219-5_2⟩

Communication dans un congrès hal-01198361v1

Computational Enzyme Design through deterministic optimization and counting

Thomas Schiex , Seydou Traoré , David Simoncini , Sophie Barbe , Simon de Givry et al.

3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland

Communication dans un congrès hal-01605405v1
Deposit thumbnail

Reasoning about Connectivity Constraints

Christian Bessiere , Emmanuel Hébrard , George Katsirelos , Toby Walsh

IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574

Communication dans un congrès hal-01606489v1

An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical Models

Simon de Givry , Barry Hurley , David Allouche , George Katsirelos , Thomas Schiex et al.

ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France

Communication dans un congrès hal-00946323v1
Deposit thumbnail

Reasoning about Constraint Models

Christian Bessiere , Emmanuel Hébrard , George Katsirelos , Zeynep Kiziltan , Nina Narodytska et al.

PRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808, ⟨10.1007/978-3-319-13560-1_63⟩

Communication dans un congrès hal-02742999v2
Deposit thumbnail

Acquisition de contraintes avec des requêtes partielles

Christian Bessiere , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.

JFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France

Communication dans un congrès lirmm-01229549v1

The balance constraint family

Christian Bessiere , Emmanuel Hébrard , George Katsirelos , Zeynep Kiziltan , Emilie Picard-Cantin et al.

CP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France

Communication dans un congrès hal-02743284v1
Deposit thumbnail

Relaxation search: a simple way of managing optional clauses

Fahiem Bacchus , Jessica Davies , Maria Tsimpoukelli , George Katsirelos

AAAI 2014 - 28th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2014, Québec, Canada. 7 p

Communication dans un congrès hal-02738910v1
Deposit thumbnail

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 et al.

JFPC 2014 - Dixièmes Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France. 10 p

Communication dans un congrès hal-01198360v1
Deposit thumbnail

The Balance Constraint Family

Christian Bessiere , Emmanuel Hébrard , George Katsirelos , Zeynep Kiziltan , Emilie Picard-Cantin et al.

CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189, ⟨10.1007/978-3-319-10428-7_15⟩

Communication dans un congrès lirmm-01067459v1
Deposit thumbnail

Constraint Acquisition via Partial Queries

Christian Bessiere , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.

IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481

Communication dans un congrès lirmm-00830325v1
Deposit thumbnail

Detecting and Exploiting Subproblem Tractability

Christian Bessiere , Clément Carbonnel , Emmanuel Hébrard , George Katsirelos , Toby Walsh

IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.468-474

Communication dans un congrès lirmm-00830330v1

Computational protein design as a cost function network optimization problem

Thomas Schiex , David Allouche , Simon de Givry , George Katsirelos , Sophie Barbe et al.

Séminaire MOGISA du LAAS/CNRS, Centre National de la Recherche Scientifique (CNRS). FRA., Jun 2013, Toulouse, France

Communication dans un congrès hal-01268632v1

Table Constraints in Clause Learning CSP Solvers

Ozan Erdem , George Katsirelos , Fahiem Bacchus

ModRef 2013: The Twelfth International Workshop on Constraint Modelling and Reformulation, Sep 2013, Uppsala, Sweden. 9 p

Communication dans un congrès hal-01604172v1

Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers

George Katsirelos , Ashish Sabharwal , Horst Samulowitz , Laurent Simon

Conference on Artificial Intelligence (AAAI), Jul 2013, Washington, United States

Communication dans un congrès hal-00845507v1
Deposit thumbnail

A new framework for computational protein design through cost function network optimization

Seydou Traore , David Allouche , Isabelle André , Simon de Givry , George Katsirelos et al.

JOBIM 2013 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Société Française de Bio-Informatique (SFBI). FRA., Jul 2013, Toulouse, France. 2 p

Communication dans un congrès hal-01268555v1
Deposit thumbnail

Resolution and parallelizability: barriers to the effficient parallelization of SAT solvers

George Katsirelos , Ashish Sabharwal , Horst Samulowitz , Laurent Simon

AAAI 2013 - 27th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2013, Bellevue, United States

Communication dans un congrès hal-02746869v1

Eigenvector centrality in industrial SAT instances

Laurent Simon , George Katsirelos

18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada

Communication dans un congrès hal-00790505v1
Deposit thumbnail

The SeqBin constraint revisited

George Katsirelos , Nina Narodytska , Toby Walsh

CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. 1012p., ⟨10.1007/978-3-642-33558-7_26⟩

Communication dans un congrès hal-02748668v1

Learning Polynomials over GF(2) in a SAT Solver

George Katsirelos , Laurent Simon

15th International Conference on Theory and Applications of Satisfiability Testing, Jun 2012, Trento, Italy

Communication dans un congrès hal-00790511v1
Deposit thumbnail

Computational protein design as a cost function network optimization problem

David Allouche , Seydou Traore , Isabelle André , Simon de Givry , George Katsirelos et al.

CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.10, ⟨10.1007/978-3-642-33558-7_60⟩

Communication dans un congrès hal-01191320v1

Complexity of and Algorithms for Borda Manipulation

George Katsirelos , Toby Walsh , Jessica Davies , Nina Narodytska

AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, Aug 2011, San-Francisco, United States

Communication dans un congrès hal-00642093v1
Deposit thumbnail

Une restriction de la résolution étendue pour les démonstrateurs SAT modernes

Gilles Audemard , George Katsirelos , Laurent Simon

JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.43-50

Communication dans un congrès inria-00519162v1

Symmetries of Symmetry Breaking Constraints

George Katsirelos

19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.861-866

Communication dans un congrès hal-00865390v1
Deposit thumbnail

Decomposition of the NValue Constraint

Christian Bessiere , George Katsirelos , Nina Narodytska , Claude-Guy Quimper , Toby Walsh

CP: Principles and Practice of Constraint Programming, Sep 2010, St. Andrews, Scotland, United Kingdom. pp.114-128, ⟨10.1007/978-3-642-15396-9_12⟩

Communication dans un congrès lirmm-00558048v1

On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry

George Katsirelos , Nina Narodytska , Toby Walsh

16th International Conference on Principles and Practice of Constraint Programming (CP'10), 2010, United Kingdom. pp.305-320

Communication dans un congrès hal-00865476v1

Une restriction de la résolution étendue pour les démonstrateurs SAT modernes

Laurent Simon , Gilles Audemard , George Katsirelos

JFPC, Jun 2010, Orléans, France

Communication dans un congrès inria-00543640v1
Deposit thumbnail

Propagating Conjuctions of ALLDIFFERENT Constraints

Christian Bessiere , George Katsirelos , Nina Narodytska , Claude-Guy Quimper , Toby Walsh

AAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.27-32

Communication dans un congrès lirmm-00558126v1

A Restriction of Extended Resolution for Clause Learning SAT Solvers

Gilles Audemard , George Katsirelos , Laurent Simon

24th Conference on Artificial Intelligence (AAAI'10), 2010, Atlanta, United States. pp.10-15

Communication dans un congrès inria-00543638v2

Circuit Complexity and Decompositions of Global Constraints

Christian Bessiere , George Katsirelos , Nina Narodytska , Toby Walsh

IJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.412-418

Communication dans un congrès lirmm-00382608v1

Decompositions of All Different, Global Cardinality and Related Constraints

Christian Bessiere , George Katsirelos , Nina Narodytska , Claude-Guy Quimper , Toby Walsh

IJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.419-424

Communication dans un congrès lirmm-00382607v1
Deposit thumbnail

Cost Function Networks to Solve Large Computational Protein Design Problems

David Allouche , Sophie Barbe , Simon de Givry , George Katsirelos , Yahia Lebbah et al.

Malek Masmoudi, Bassem Jarboui, Patrick Siarry. Operations Research and Simulation in healthcare, Springer, pp.81-102, 2021, 978-3-030-45223-0. ⟨10.1007/978-3-030-45223-0_4⟩

Chapitre d'ouvrage hal-02177634v1
Deposit thumbnail

New Approaches to Constraint Acquisition

Christian Bessiere , Abderrazak Daoudi , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.

Data Mining and Constraint Programming, 10101 (Chapter 3), Springer International Publishing AG, pp.51-76, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_3⟩

Chapitre d'ouvrage hal-01606245v1

Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets

Fahiem Bacchus , George Katsirelos

Computer Aided Verification, 9207 (Chapter 5), Springer International Publishing, 16 p., 2015, Lecture Notes in Computer Science, 978-3-319-21667-6. ⟨10.1007/978-3-319-21668-3_5⟩

Chapitre d'ouvrage hal-01606450v1