Picture for Emmanuel Lonca

Emmanuel Lonca

Univ. Artois, CNRS, UMR 8188 CRIL

Proceedings of the 2023 XCSP3 Competition

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

Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits

Add code
Feb 11, 2022
Figure 1 for Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
Figure 2 for Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
Figure 3 for Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
Figure 4 for Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
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 Complexity of Optimization Problems based on Compiled NNF Representations

Add code
Oct 24, 2014
Figure 1 for On the Complexity of Optimization Problems based on Compiled NNF Representations
Figure 2 for On the Complexity of Optimization Problems based on Compiled NNF Representations
Viaarxiv icon