George Katsirelos

58
Documents

Publications

Publications

Image document

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-05105887 v1
Image document

Learning Constraints through Partial Queries

Christian Bessiere , Clement Carbonnel , Anton Dries , Emmanuel Hebrard , George Katsirelos et al.
Artificial Intelligence, 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩
Article dans une revue lirmm-04028358 v1
Image document

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-03776333 v1
Image document

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-02907062 v1

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-02633083 v1

Computational protein design as an optimization problem

David Allouche , Isabelle André , Sophie Barbe , Jessica Davies , Simon de Givry et al.
Artificial Intelligence, 2014, 212, pp.59-79. ⟨10.1016/j.artint.2014.03.005⟩
Article dans une revue hal-01268554 v1
Image document

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-01268153 v1
Image document

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-05222926 v1
Image document

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-05222608 v1
Image document

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-04199433 v1

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-04106508 v1
Image document

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-02946565 v1
Image document

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-02414056 v1
Image document

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-02076298 v1

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-03181764 v1
Image document

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-01873485 v1
Image document

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-01873500 v1
Image document

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-01605434 v1
Image document

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-02059660 v1
Image document

Reparameterization: a Universal Tool for Optimization and Counting

George Katsirelos
Beyond NP meeting 2017, May 2017, Paris, France
Communication dans un congrès hal-01604677 v1
Image document

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-01374715 v1
Image document

MUSes and MCSes

George Katsirelos , Fahiem Bacchus
AAAI 2016 Workshop on Beyond NP, Feb 2016, Phoenix, United States
Communication dans un congrès hal-01606478 v1

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-01198361 v1

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-01605405 v1
Image document

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-01606489 v1
Image document

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-01229549 v1

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-00946323 v1
Image document

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-02742999 v2

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-02743284 v1
Image document

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-02738910 v1
Image document

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-01198360 v1
Image document

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-01067459 v1

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-01268632 v1
Image document

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-00830325 v1
Image document

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-00830330 v1

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-01604172 v1

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-00845507 v1
Image document

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-01268555 v1
Image document

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-02746869 v1

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-00790511 v1

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-00790505 v1
Image document

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-02748668 v1
Image document

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-01191320 v1

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-00642093 v1

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-00865390 v1
Image document

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-00519162 v1

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-00865476 v1
Image document

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-00558048 v1

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-00543640 v1
Image document

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-00558126 v1

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-00543638 v2

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-00382607 v1

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-00382608 v1
Image document

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-02177634 v1
Image document

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-01606245 v1

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-01606450 v1