On the size of CNF formulas with high propagation strength.

Petr Kucera Petr Savický

Published in: ISAIM (2020)

Keyphrases

cnf formula
neural network
np complete
database
databases
objective function
computational complexity
upper bound
stable set