5 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Alexis de Colnet
Two major considerations when encoding pseudo-Boolean (PB) constraints into SAT are the size of the encoding and its propagation strength, that is, the guarantee that it has a good…