53 citations · 136 across the 17 of their papers we have counts for
1 paper · 2 filters
Saurabh Joshi, Ruben Martins, Vasco Manquinho
Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them…