| An adaptive parallel SAT solver G Audemard, JM Lagniez, N Szczepanski, S Tabary International Conference on Principles and Practice of Constraint …, 2016 | 29 | 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 | 12 | 2017 |
| 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 |
| Computing abductive explanations for boosted trees G Audemard, JM Lagniez, P Marquis, N Szczepanski International Conference on Artificial Intelligence and Statistics, 4699-4711, 2023 | 7 | 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 |
| On contrastive explanations for tree-based classifiers G Audemard, JM Lagniez, P Marquis, N Szczepanski ECAI 2023, 117-124, 2023 | 2 | 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 |
| 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 | 1 | 2023 |
| 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 |
| Logic-based explanations of imbalance price forecasts using boosted trees J Bottieau, G Audemard, S Bellart, JM Lagniez, P Marquis, N Szczepanski, ... Electric Power Systems Research 235, 110699, 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 |
| Modéliser des problèmes combinatoires sous contraintes en Python C Lecoutre, N Szczepanski Actes des 15es Journées Francophones de Programmation par Contraintes JFPC …, 2019 | | 2019 |
| Swarmsat: un solveur sat massivement parallèle. JM Lagniez, N Szczepanski, S Tabary 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015 | | 2015 |
| Le projet EXPlainable artificial intelligence: a KnowlEdge Compila-Tion FoundATION (EXPEKCTATION) G AUDEMARD, S BELLART, L BOUNIA, F KORICHE, JM LAGNIEZ, ... Bulletin N o 116, 32, 0 | | |
