POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria
Published in: POS@SAT (2014)
Keyphrases
- selected papers
- panel discussion
- sat solvers
- invited paper
- acm sigkdd
- workshop proceedings
- satisfiability problem
- special session
- boolean satisfiability
- sat problem
- invited talk
- phase transition
- international workshop
- propositional satisfiability
- search algorithm
- artificial intelligence in medicine
- conference proceedings
- max sat
- constraint satisfaction
- sat instances
- human computation
- search strategies
- stochastic local search algorithms
- knowledge representation
- lower bound
- natural language processing
- computer science
- np complete
- natural language
- national science foundation
- nsf funded
- language model