Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023.
Published in: POS@SAT (2023)
Keyphrases
- satisfiability testing
- propositional logic
- model counting
- tie breaking
- theoretical framework
- satisfiability problem
- propositional satisfiability
- weighted model counting
- sat solvers
- sat problem
- natural language processing
- lecture notes
- lecture notes in artificial intelligence
- modulo theories
- search algorithm
- artificial intelligence in education
- max sat
- orders of magnitude
- computer science