POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010
Published in: POS@SAT (2012)
Keyphrases
- lecture notes
- hong kong
- computer science
- part of speech
- natural language processing
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- sat solving
- search algorithm
- stochastic local search
- boolean satisfiability
- artificial intelligence in medicine
- phase transition
- n gram
- variable ordering
- max sat
- united kingdom
- sat encodings
- stochastic local search algorithms
- pseudo boolean constraints
- syntactic information
- sat instances
- word sense disambiguation
- higher education
- formal semantics
- question answering
- knowledge representation
- machine learning