Picture for Jean-Marie Lagniez

Jean-Marie Lagniez

Dynamic Blocked Clause Elimination for Projected Model Counting

Add code
Aug 12, 2024
Viaarxiv icon

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks

Add code
May 03, 2023
Viaarxiv icon

Computing Abductive Explanations for Boosted Trees

Add code
Sep 16, 2022
Figure 1 for Computing Abductive Explanations for Boosted Trees
Figure 2 for Computing Abductive Explanations for Boosted Trees
Figure 3 for Computing Abductive Explanations for Boosted Trees
Figure 4 for Computing Abductive Explanations for Boosted Trees
Viaarxiv icon

Design and Results of ICCMA 2021

Add code
Oct 06, 2021
Figure 1 for Design and Results of ICCMA 2021
Figure 2 for Design and Results of ICCMA 2021
Figure 3 for Design and Results of ICCMA 2021
Viaarxiv icon

On the Explanatory Power of Decision Trees

Add code
Sep 04, 2021
Figure 1 for On the Explanatory Power of Decision Trees
Figure 2 for On the Explanatory Power of Decision Trees
Figure 3 for On the Explanatory Power of Decision Trees
Viaarxiv icon

Trading Complexity for Sparsity in Random Forest Explanations

Add code
Aug 11, 2021
Figure 1 for Trading Complexity for Sparsity in Random Forest Explanations
Figure 2 for Trading Complexity for Sparsity in Random Forest Explanations
Figure 3 for Trading Complexity for Sparsity in Random Forest Explanations
Viaarxiv icon

On the Computational Intelligibility of Boolean Classifiers

Add code
Apr 13, 2021
Figure 1 for On the Computational Intelligibility of Boolean Classifiers
Figure 2 for On the Computational Intelligibility of Boolean Classifiers
Figure 3 for On the Computational Intelligibility of Boolean Classifiers
Figure 4 for On the Computational Intelligibility of Boolean Classifiers
Viaarxiv icon

Improving MUC extraction thanks to local search

Add code
Jul 12, 2013
Figure 1 for Improving MUC extraction thanks to local search
Figure 2 for Improving MUC extraction thanks to local search
Figure 3 for Improving MUC extraction thanks to local search
Figure 4 for Improving MUC extraction thanks to local search
Viaarxiv icon

Integrating Conflict Driven Clause Learning to Local Search

Add code
Oct 07, 2009
Figure 1 for Integrating Conflict Driven Clause Learning to Local Search
Figure 2 for Integrating Conflict Driven Clause Learning to Local Search
Figure 3 for Integrating Conflict Driven Clause Learning to Local Search
Figure 4 for Integrating Conflict Driven Clause Learning to Local Search
Viaarxiv icon