Picture for Gilles Audemard

Gilles Audemard

CRIL

Proceedings of the 2023 XCSP3 Competition

Add code
Dec 10, 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

Proceedings of the 2022 XCSP3 Competition

Add code
Sep 02, 2022
Figure 1 for Proceedings of the 2022 XCSP3 Competition
Figure 2 for Proceedings of the 2022 XCSP3 Competition
Figure 3 for Proceedings of the 2022 XCSP3 Competition
Figure 4 for Proceedings of the 2022 XCSP3 Competition
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

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

Add code
Sep 01, 2020
Figure 1 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Figure 2 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Figure 3 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Figure 4 for XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
Viaarxiv icon

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Add code
Jun 02, 2020
Figure 1 for SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Viaarxiv icon

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Add code
Apr 06, 2018
Figure 1 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Figure 2 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Figure 3 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Figure 4 for XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
Viaarxiv icon