George Katsirelos
58
Documents
Publications
Publications
|
|
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⟩
Communication dans un congrès
hal-05222926
v1
|
|
|
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⟩
Communication dans un congrès
hal-05222608
v1
|
|
|
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⟩
Communication dans un congrès
hal-04199433
v1
|
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⟩
Communication dans un congrès
hal-04106508
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-02946565
v1
|
|
|
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⟩
Communication dans un congrès
hal-02414056
v1
|
|
|
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
Communication dans un congrès
hal-02076298
v1
|
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⟩
Communication dans un congrès
hal-03181764
v1
|
|
|
|
Conflict Directed Clause Learning for the Maximum Weighted Clique Problem27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. 8p
Communication dans un congrès
hal-01873485
v1
|
|
|
Clause Learning and New Bounds for Graph ColoringInternational Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. 17p
Communication dans un congrès
hal-01873500
v1
|
|
|
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⟩
Communication dans un congrès
hal-01605434
v1
|
|
|
Contraintes de ClassementJFPC 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
|
|
|
Reparameterization: a Universal Tool for Optimization and CountingBeyond NP meeting 2017, May 2017, Paris, France
Communication dans un congrès
hal-01604677
v1
|
|
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. pp.705-711
Communication dans un congrès
lirmm-01374715
v1
|
|
|
MUSes and MCSesAAAI 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 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⟩
Communication dans un congrès
hal-01198361
v1
|
|
Computational Enzyme Design through deterministic optimization and counting3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland
Communication dans un congrès
hal-01605405
v1
|
|
|
|
Reasoning about Connectivity ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574
Communication dans un congrès
hal-01606489
v1
|
|
|
Acquisition de contraintes avec des requêtes partiellesJFPC 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 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
Communication dans un congrès
hal-00946323
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-02742999
v2
|
The balance constraint familyCP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France
Communication dans un congrès
hal-02743284
v1
|
|
|
|
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
Communication dans un congrès
hal-02738910
v1
|
|
|
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
Communication dans un congrès
hal-01198360
v1
|
|
|
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⟩
Communication dans un congrès
lirmm-01067459
v1
|
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
Communication dans un congrès
hal-01268632
v1
|
|
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Communication dans un congrès
lirmm-00830325
v1
|
|
|
Detecting and Exploiting Subproblem TractabilityIJCAI: 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 SolversModRef 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 SolversConference on Artificial Intelligence (AAAI), Jul 2013, Washington, United States
Communication dans un congrès
hal-00845507
v1
|
|
|
|
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
Communication dans un congrès
hal-01268555
v1
|
|
|
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
Communication dans un congrès
hal-02746869
v1
|
Learning Polynomials over GF(2) in a SAT Solver15th 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 instances18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada
Communication dans un congrès
hal-00790505
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-02748668
v1
|
|
|
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⟩
Communication dans un congrès
hal-01191320
v1
|
Complexity of and Algorithms for Borda ManipulationAAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, Aug 2011, San-Francisco, United States
Communication dans un congrès
hal-00642093
v1
|
|
Symmetries of Symmetry Breaking Constraints19th European Conference on Artificial Intelligence (ECAI'10), 2010, Lisbon, Portugal. pp.861-866
Communication dans un congrès
hal-00865390
v1
|
|
|
|
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
Communication dans un congrès
inria-00519162
v1
|
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
Communication dans un congrès
hal-00865476
v1
|
|
|
|
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⟩
Communication dans un congrès
lirmm-00558048
v1
|
Une restriction de la résolution étendue pour les démonstrateurs SAT modernesJFPC, Jun 2010, Orléans, France
Communication dans un congrès
inria-00543640
v1
|
|
|
|
Propagating Conjuctions of ALLDIFFERENT ConstraintsAAAI 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 Solvers24th 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 ConstraintsIJCAI'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 ConstraintsIJCAI'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
|
|
|
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⟩
Chapitre d'ouvrage
hal-02177634
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-01606245
v1
|
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⟩
Chapitre d'ouvrage
hal-01606450
v1
|
Qualité et diversité garanties dans les réseaux de fonctions de coût2019
Autre publication scientifique
hal-02963117
v1
|
|
|
Partial Queries for Constraint Acquisition2020
Pré-publication, Document de travail
hal-03088013
v1
|
Chargement...
Chargement...