SAT 2020
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | SAT 2020 |
| Title | International Conference on Theory and Applications of Satisfiability Testing |
| Start date | 7/5/2020 |
| End date | 7/9/2020 |
| Homepage | https://sat2020.idea-researchlab.org/ |
| ... | ... |