A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence.

Philippe Jacquet Charles Knessl Wojciech Szpankowski

Published in: Comb. Probab. Comput. (2014)

Keyphrases

satisfiability problem
np complete
terminological reasoning
computational complexity
propositional logic
decision procedures
quantified boolean formulas
data mining
bayesian networks
multiscale
expert systems
sat solving