Follow
nicolas Szczepanski
nicolas Szczepanski
Research Engineer
Verified email at cril.fr - Homepage
Title
Cited by
Cited by
Year
An adaptive parallel SAT solver
G Audemard, JM Lagniez, N Szczepanski, S Tabary
International Conference on Principles and Practice of Constraint …, 2016
312016
PYCSP3: modeling combinatorial constrained problems in python
C Lecoutre, N Szczepanski
arXiv preprint arXiv:2009.00326, 2020
282020
DMC: a distributed model counter
JM Lagniez, P Marquis, N Szczepanski
27th International Joint Conference on Artificial Intelligence (IJCAI'18 …, 2018
162018
A Distributed Version of Syrup
G Audemard, JM Lagniez, N Szczepanski, S Tabary
International Conference on Theory and Applications of Satisfiability …, 2017
132017
Computing abductive explanations for boosted trees
G Audemard, JM Lagniez, P Marquis, N Szczepanski
International Conference on Artificial Intelligence and Statistics, 4699-4711, 2023
112023
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
82019
On contrastive explanations for tree-based classifiers
G Audemard, JM Lagniez, P Marquis, N Szczepanski
ECAI 2023, 117-124, 2023
52023
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
42020
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
32023
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
22019
Méthodes efficaces de raisonnement en logique modale
N Szczepanski
Centre de Recherche en Informatique de Lens, Université d’Artois, 2012
22012
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
12021
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
12020
SAT en parallele
N Szczepanski
Université d'Artois, 2017
12017
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
The system can't perform the operation now. Try again later.
Articles 1–20