3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Joao Marques-Silva, Jordi Planes
Maximum Satisfiability (MaxSAT) is a well-known optimization pro- blem, with several practical applications. The most widely known MAXS AT algorithms are ineffective at solving har…