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...
share
research
∙
02/06/2016
