- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- SMT solving for fun and profit
Open Collections
BIRS Workshop Lecture Videos
Featured Collection
BIRS Workshop Lecture Videos
SMT solving for fun and profit Barbosa, Haniel
Description
This talk aims to give participants an overview of SMT, describe the main features of a state-of-the-art SMT solver such as cvc5, and discuss some examples to demonstrate how to solve real problems with an SMT solver. Moreover we will explore current popular research directions in SMT solving and long standing challenges being tackled.
Item Metadata
| Title |
SMT solving for fun and profit
|
| Creator | |
| Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
| Date Issued |
2026-01-13
|
| Description |
This talk aims to give participants an overview of SMT, describe the main features of a state-of-the-art SMT solver such as cvc5, and discuss some examples to demonstrate how to solve real problems with an SMT solver. Moreover we will explore current popular research directions in SMT solving and long standing challenges being tackled.
|
| Extent |
58.0 minutes
|
| Subject | |
| Type | |
| File Format |
video/mp4
|
| Language |
eng
|
| Notes |
Author affiliation: Universidade Federal de Minas Gerais
|
| Series | |
| Date Available |
2026-01-19
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
| DOI |
10.14288/1.0451302
|
| URI | |
| Affiliation | |
| Peer Review Status |
Unreviewed
|
| Scholarly Level |
Researcher
|
| Rights URI | |
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International