Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018.
Published in: POS@SAT (2019)
Keyphrases
- international conference
- sat solvers
- satisfiability problem
- natural language processing
- sat problem
- hong kong
- search algorithm
- sat solving
- propositional satisfiability
- stochastic local search
- phase transition
- lecture notes
- boolean satisfiability
- np complete
- max sat
- advances in artificial intelligence
- search strategies
- search procedures
- conference on artificial intelligence
- knowledge discovery and data mining
- intelligence and security informatics
- computer society
- pacific rim
- backtracking search
- international conference on machine learning