Keyphrases
- satisfiability problem
- np complete
- propositional logic
- computational complexity
- decision procedures
- satisfiability testing
- kolmogorov complexity
- sequence prediction
- phase transition
- case study
- expert systems
- social networks
- stochastic local search
- cnf formula
- data mining
- neural network
- quantified boolean formulas
- real time