11 citations · 11 across the 1 of their papers we have counts for
1 paper
Vasco Manquinho, Joao Marques-Silva, Jordi Planes
The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, differen…