Keyphrases
- random walk
- probability distribution
- transition probability matrix
- boolean satisfiability
- markov chain
- directed graph
- sat solvers
- bayesian networks
- search space
- first order logic
- topic focused multi document summarization
- propositional formulas
- search algorithm
- link prediction
- markov random walk
- sat problem
- multi db
- conjunctive normal form
- phase transition
- clause learning
- machine learning
- random sat
- flow graph
- graph laplacian
- proximity measures
- spectral methods
- sat instances
- max sat
- web graph
- reinforcement learning
- search tree
- satisfiability problem