research
∙
06/08/2018
Maximizing the Number of Satisfied L-clauses
The k-SAT problem for Ł-clausal forms has been found to be NP-complete i...
research
∙
03/11/2016
Solving MaxSAT by Successive Calls to a SAT Solver
The Maximum Satisfiability (MaxSAT) problem is the problem of finding a ...
research
∙
02/06/2016