| An adaptive parallel SAT solver G Audemard, JM Lagniez, N Szczepanski, S Tabary International Conference on Principles and Practice of Constraint …, 2016 | 31 | 2016 |
| PYCSP3: modeling combinatorial constrained problems in python C Lecoutre, N Szczepanski arXiv preprint arXiv:2009.00326, 2020 | 28 | 2020 |
| DMC: a distributed model counter JM Lagniez, P Marquis, N Szczepanski 27th International Joint Conference on Artificial Intelligence (IJCAI'18 …, 2018 | 16 | 2018 |
| A Distributed Version of Syrup G Audemard, JM Lagniez, N Szczepanski, S Tabary International Conference on Theory and Applications of Satisfiability …, 2017 | 13 | 2017 |
| Computing abductive explanations for boosted trees G Audemard, JM Lagniez, P Marquis, N Szczepanski International Conference on Artificial Intelligence and Statistics, 4699-4711, 2023 | 11 | 2023 |
| An incremental sat-based approach to the graph colouring problem G Glorian, JM Lagniez, V Montmirail, N Szczepanski Principles and Practice of Constraint Programming: 25th International …, 2019 | 8 | 2019 |
| On contrastive explanations for tree-based classifiers G Audemard, JM Lagniez, P Marquis, N Szczepanski ECAI 2023, 117-124, 2023 | 5 | 2023 |
| Multi-objective automatic algorithm configuration for the classification problem of imbalanced data S Tari, N Szczepanski, L Mousin, J Jacques, ME Kessaci, L Jourdan 2020 IEEE Congress on Evolutionary Computation (CEC), 1-8, 2020 | 4 | 2020 |
| PyXAI: calculer en Python des explications pour des modèles d'apprentissage supervisé G Audemard, S Bellart, L Bounia, JM Lagniez, P Marquis, N Szczepanski Extraction et Gestion des Connaissances, EGC, 2023 | 3 | 2023 |
| pFactory: A Generic Library For Designing Parallel Solvers G Audemard, G Glorian, JM Lagniez, V Montmirail, N Szczepanski The 16th International Conference on Applied Computing, 2019 | 2 | 2019 |
| Méthodes efficaces de raisonnement en logique modale N Szczepanski Centre de Recherche en Informatique de Lens, Université d’Artois, 2012 | 2 | 2012 |
| A hybrid CP/MOLS approach for multi-objective imbalanced classification N Szczepanski, G Audemard, L Jourdan, C Lecoutre, L Mousin, ... Proceedings of the Genetic and Evolutionary Computation Conference, 723-731, 2021 | 1 | 2021 |
| Automatic configuration of multi-thread local search: Preliminary results on bi-objective tsp N Szczepanski, L Mousin, N Veerapen, L Jourdan 2020 IEEE 32nd International Conference on Tools with Artificial …, 2020 | 1 | 2020 |
| SAT en parallele N Szczepanski Université d'Artois, 2017 | 1 | 2017 |
| Designing an XAI Interface for Tree-Based ML Models G Audemard, S Coste-Marquis, P Marquis, M Sabiri, N Szczepanski The 27th European Conference on Artificial Intelligence, 2024 | | 2024 |
| Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories G Audemard, JM Lagniez, P Marquis, N Szczepanski The 33rd International Joint Conference on Artificial Intelligence, 3688-3696, 2024 | | 2024 |
| On the Computation of Example-Based Abductive Explanations for Random Forests G Audemard, JM Lagniez, P Marquis, N Szczepanski The 33rd International Joint Conference on Artificial Intelligence, 3679-3687, 2024 | | 2024 |
| PyXAI: An XAI Library for Tree-Based Models G Audemard, JM Lagniez, P Marquis, N Szczepanski The 33rd International Joint Conference on Artificial Intelligence, 8601-8605, 2024 | | 2024 |
| MH-Builder L Mousin, L Jourdan, MÉ Kessaci, N Veerapen, N Szczepanski, AA Coco, ... Université de Lille-CRIStAL Laboratory-ORKAD team, 2023 | | 2023 |
| Deriving Explanations for Decision Trees: The Impact of Domain Theories G Audemard, JM Lagniez, P Marquis, N Szczepanski | | 2023 |
