150 citations · 619 across the 52 of their papers we have counts for
1 paper · 2 filters
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…