Picture for Ignasi Abío

Ignasi Abío

Encoding Linear Constraints into SAT

Add code
May 05, 2020
Figure 1 for Encoding Linear Constraints into SAT
Figure 2 for Encoding Linear Constraints into SAT
Figure 3 for Encoding Linear Constraints into SAT
Figure 4 for Encoding Linear Constraints into SAT
Viaarxiv icon

A New Look at BDDs for Pseudo-Boolean Constraints

Add code
Jan 23, 2014
Figure 1 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 2 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 3 for A New Look at BDDs for Pseudo-Boolean Constraints
Figure 4 for A New Look at BDDs for Pseudo-Boolean Constraints
Viaarxiv icon