7 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Neng-Fa Zhou
The at-most-k constraint is ubiquitous in combinatorial problems, and numerous SAT encodings are available for the constraint. Prior experiments have shown the competitiveness of t…