Picture for Felip Manyà

Felip Manyà

Incorporating Multi-armed Bandit with Local Search for MaxSAT

Add code
Nov 29, 2022
Viaarxiv icon

Incomplete MaxSAT Approaches for Combinatorial Testing

Add code
May 26, 2021
Figure 1 for Incomplete MaxSAT Approaches for Combinatorial Testing
Figure 2 for Incomplete MaxSAT Approaches for Combinatorial Testing
Figure 3 for Incomplete MaxSAT Approaches for Combinatorial Testing
Figure 4 for Incomplete MaxSAT Approaches for Combinatorial Testing
Viaarxiv icon

Clause Vivification by Unit Propagation in CDCL SAT Solvers

Add code
Jul 29, 2018
Figure 1 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Figure 2 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Figure 3 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Figure 4 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Viaarxiv icon