George Katsirelos
Publications
Publications
|
|
Assignment Problems in Cost Function NetworksThe 40th Annual AAAI Conference on Artificial Intelligence, Jan 2026, Singapour, Singapore |
|
|
Explaining Complex ML Models to Domain Experts Using LLM & Visualization: An Exploration in the French Breadmaking IndustryCHI 2025 - CHI Conference on Human Factors in Computing Systems, Apr 2025, Yokohama, Japan. pp.1-7, ⟨10.1145/3706599.3706685⟩ |
|
|
Core-Guided Linear Programming-Based Maximum Satisfiability28th 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⟩ |
|
|
Virtual Arc Consistency for Linear Constraints in Cost Function Networks37th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2025, Athènes, Greece. pp.246 |
|
|
An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Jul 2023, Alghero, Italy. ⟨10.4230/LIPIcs.SAT.2023.12⟩ |
Multiple-choice Knapsack Constraint in Graphical Models19. 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⟩ |
|
|
|
Relaxation-Aware Heuristics for Exact Optimization in Graphical ModelsCPAIOR 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⟩ |
|
|
Chain Length and CSPs Learnable with Few QueriesAAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.1420-1427, ⟨10.1609/aaai.v34i02.5499⟩ |
|
|
A Hybrid Approach for Exact Coloring of Massive GraphsSixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Jun 2019, Thessaloniki, Greece |
Guaranteed Diversity & Quality for the Weighted CSP2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, United States. pp.18-25, ⟨10.1109/ICTAI.2019.00012⟩ |
|
|
|
Conflict Directed Clause Learning for the Maximum Weighted Clique Problem27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 8p |
|
|
Clause Learning and New Bounds for Graph ColoringInternational Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. 17p |
|
|
Contraintes de ClassementJFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil-sur-mer, France. pp.89-90 |
|
|
Clique Cuts in Weighted Constraint SatisfactionThe 23rd International Conference on Principles and Practice of Constraint Programming - CP17, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_7⟩ |
|
|
Reparameterization: a Universal Tool for Optimization and CountingBeyond NP meeting 2017, May 2017, Paris, France |
|
|
MUSes and MCSesAAAI 2016 Workshop on Beyond NP, Feb 2016, Phoenix, United States |
|
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. pp.705-711 |
Anytime hybrid best-first search with tree decomposition for weighted CSPCP 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⟩ |
|
Computational Enzyme Design through deterministic optimization and counting3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland |
|
|
|
Reasoning about Connectivity ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574 |
An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical ModelsROADEF - 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 |
|
|
|
Reasoning about Constraint ModelsPRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808, ⟨10.1007/978-3-319-13560-1_63⟩ |
|
|
Acquisition de contraintes avec des requêtes partiellesJFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France |
The balance constraint familyCP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France |
|
|
|
Relaxation search: a simple way of managing optional clausesAAAI 2014 - 28th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2014, Québec, Canada. 7 p |
|
|
Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiquesJFPC 2014 - Dixièmes Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France. 10 p |
|
|
The Balance Constraint FamilyCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189, ⟨10.1007/978-3-319-10428-7_15⟩ |
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481 |
|
|
Detecting and Exploiting Subproblem TractabilityIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.468-474 |
Computational protein design as a cost function network optimization problemSéminaire MOGISA du LAAS/CNRS, Centre National de la Recherche Scientifique (CNRS). FRA., Jun 2013, Toulouse, France |
|
Table Constraints in Clause Learning CSP SolversModRef 2013: The Twelfth International Workshop on Constraint Modelling and Reformulation, Sep 2013, Uppsala, Sweden. 9 p |
|
Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT SolversConference on Artificial Intelligence (AAAI), Jul 2013, Washington, United States |
|
|
|
A new framework for computational protein design through cost function network optimizationJOBIM 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 |
|
|
Resolution and parallelizability: barriers to the effficient parallelization of SAT solversAAAI 2013 - 27th AAAI Conference, Association for the Advancement of Artificial Intelligence (AAAI). USA., Jul 2013, Bellevue, United States |
Eigenvector centrality in industrial SAT instances18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada |
|
|
|
The SeqBin constraint revisitedCP 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⟩ |
Learning Polynomials over GF(2) in a SAT Solver15th International Conference on Theory and Applications of Satisfiability Testing, Jun 2012, Trento, Italy |
|
|
|
Computational protein design as a cost function network optimization problemCP 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⟩ |
Complexity of and Algorithms for Borda ManipulationAAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, Aug 2011, San-Francisco, United States |
|
|
|
Une restriction de la résolution étendue pour les démonstrateurs SAT modernesJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.43-50 |
Symmetries of Symmetry Breaking Constraints19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.861-866 |
|
|
|
Decomposition of the NValue ConstraintCP: Principles and Practice of Constraint Programming, Sep 2010, St. Andrews, Scotland, United Kingdom. pp.114-128, ⟨10.1007/978-3-642-15396-9_12⟩ |
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry16th International Conference on Principles and Practice of Constraint Programming (CP'10), 2010, United Kingdom. pp.305-320 |
|
Une restriction de la résolution étendue pour les démonstrateurs SAT modernesJFPC, Jun 2010, Orléans, France |
|
|
|
Propagating Conjuctions of ALLDIFFERENT ConstraintsAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.27-32 |
A Restriction of Extended Resolution for Clause Learning SAT Solvers24th Conference on Artificial Intelligence (AAAI'10), 2010, Atlanta, United States. pp.10-15 |
|
Circuit Complexity and Decompositions of Global ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.412-418 |
|
Decompositions of All Different, Global Cardinality and Related ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.419-424 |
|
|
Cost Function Networks to Solve Large Computational Protein Design ProblemsMalek 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⟩ |
|
|
New Approaches to Constraint AcquisitionData 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⟩ |
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable SetsComputer 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⟩ |
Qualité et diversité garanties dans les réseaux de fonctions de coût2019 |
|
|
Partial Queries for Constraint Acquisition2020 |