POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland
Published in: POS@SAT (2014)
Keyphrases
- selected papers
- panel discussion
- acm sigkdd
- sat solvers
- satisfiability problem
- computing education
- workshop proceedings
- search algorithm
- invited paper
- united states of america
- conference proceedings
- sat problem
- invited talk
- boolean satisfiability
- sat solving
- search strategies
- artificial intelligence in medicine
- stochastic local search algorithms
- stochastic local search
- poster session
- phase transition
- keynote address
- computer science
- exchange ideas
- artificial intelligence
- machine learning