Picture for Daniel Le Berre

Daniel Le Berre

On Dedicated CDCL Strategies for PB Solvers

Add code
Sep 02, 2021
Figure 1 for On Dedicated CDCL Strategies for PB Solvers
Figure 2 for On Dedicated CDCL Strategies for PB Solvers
Viaarxiv icon

On Weakening Strategies for PB Solvers

Add code
May 09, 2020
Figure 1 for On Weakening Strategies for PB Solvers
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

Some thoughts about benchmarks for NMR

Add code
May 06, 2014
Viaarxiv icon