Keyphrases
- satisfiability problem
- sat solvers
- natural language processing
- search algorithm
- natural language
- boolean satisfiability
- propositional satisfiability
- natural language parsing
- speech understanding
- graph grammars
- context free
- sat instances
- phase transition
- stochastic local search
- sat problem
- dependency parsing
- search problems
- semantic parsing
- sat encodings
- parse tree
- word order
- domain independent
- bayesian networks