3 citations · 6 across the 9 of their papers we have counts for
1 paper · 2 filters
Olivier Bailleux
In this report, we propose a quick survey of the currently known techniques for encoding a Boolean cardinality constraint into a CNF formula, and we discuss about the relevance of…