Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022.
Published in: SMT (2022)
Keyphrases
- automated reasoning
- knowledge discovery and data mining
- advances in artificial intelligence
- acm sigkdd
- international conference
- selected papers
- databases and information systems
- international workshop
- student research workshop
- conference proceedings
- probabilistic reasoning
- knowledge representation
- invited talk
- theorem proving
- theorem prover
- centre for advanced studies
- poster session
- national science foundation
- invited speakers
- computer science
- short papers
- program committee