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
292016
PYCSP3: modeling combinatorial constrained problems in python
C Lecoutre, N Szczepanski
arXiv preprint arXiv:2009.00326, 2020
262020
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
112017
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
Computing abductive explanations for boosted trees
G Audemard, JM Lagniez, P Marquis, N Szczepanski
International Conference on Artificial Intelligence and Statistics, 4699-4711, 2023
62023
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
62020
On contrastive explanations for tree-based classifiers
G Audemard, JM Lagniez, P Marquis, N Szczepanski
ECAI 2023, 117-124, 2023
22023
Méthodes efficaces de raisonnement en logique modale
N Szczepanski
Centre de Recherche en Informatique de Lens, Université d’Artois, 2012
22012
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
12023
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
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
12019
SAT en parallele
N Szczepanski
Université d'Artois, 2017
12017
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
AmPharoS, An Adaptive Parallel Solver
G Audemard, JM Lagniez, N Szczepanski, S Tabary
SAT COMPETITION 2016, 22, 0
The system can't perform the operation now. Try again later.
Articles 1–20