1 citations · 2 across the 11 of their papers we have counts for
1 paper · 1 filter
Max Bannach, Pamela Fleischmann, Malte Skambath
The natural generalization of the Boolean satisfiability problem to optimization problems is the task of determining the maximum number of clauses that can simultaneously be satisf…