Picture for Daniil Chivilikhin

Daniil Chivilikhin

Decomposing Hard SAT Instances with Metaheuristic Optimization

Add code
Dec 16, 2023
Viaarxiv icon

Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits

Add code
Oct 04, 2022
Figure 1 for Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
Figure 2 for Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
Figure 3 for Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
Figure 4 for Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
Viaarxiv icon