Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023.
Published in: SMT (2023)
Keyphrases
- lecture notes
- automated deduction
- modulo theories
- computer science
- satisfiability modulo theories
- answer set programming
- logic programming
- lecture notes in artificial intelligence
- international symposium
- theorem proving
- theorem prover
- inference rules
- stable model semantics
- artificial intelligence
- logic programs
- answer sets
- deductive databases
- international conference
- international workshop
- database
- sat solvers
- first order logic
- stable models
- data mining