Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024.
Published in: SMT@CAV (2024)
Keyphrases
- computer aided
- international workshop
- lecture notes in artificial intelligence
- lecture notes
- revised selected papers
- book constitutes the refereed proceedings
- domain driven data mining
- modulo theories
- satisfiability modulo theories
- computer science
- pacific rim
- computer aided diagnosis
- selected papers
- computer aided design
- acm sigkdd
- image analysis
- international symposium
- model checking
- process planning
- diagnosis of breast cancer
- computer vision
- artificial intelligence
- neural network
- pulmonary nodules
- ambient intelligence
- data mining