On Decomposition of Maximal Satisfiable Subsets.

Jaroslav Bendík

Published in: FMCAD (2021)

Keyphrases

phase transition
satisfiability problem
decomposition method
np complete
randomly generated
data sets
social networks
orders of magnitude
sat problem
max sat
decomposition algorithm
mining maximal