Counting Maximal Satisfiable Subsets.

Jaroslav Bendík Kuldeep S. Meel

Published in: AAAI (2021)

Keyphrases

phase transition
satisfiability problem
randomly generated
sat problem
website
databases
learning algorithm
case study
np hard