Abstract
This extended abstract was written to accompany an invited talk at the 2021 SC-Square Workshop, where the author was asked to give an overview of SC-Square progress to date. The author first reminds the reader of the definition of SC-Square, then briefly outlines some of the history, before picking out some (personal) scientific highlights.
| Original language | English |
|---|---|
| Title of host publication | SC-Square Workshop 2021 Proceedings |
| Editors | Curtis Bright, James Davenport |
| Publisher | CEUR Workshop Proceedings |
| Pages | 1-6 |
| Number of pages | 6 |
| Volume | 3273 |
| Publication status | Published - 14 Nov 2022 |
| Event | 6th International Workshop on Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems - College Station, United States Duration: 19 Aug 2021 → 20 Aug 2021 Conference number: 6 http://www.sc-square.org/CSA/workshop6.html |
Publication series
| Name | CEUR workshop proceedings |
|---|---|
| ISSN (Electronic) | 1613-0073 |
Conference
| Conference | 6th International Workshop on Satisfiability Checking and Symbolic Computation |
|---|---|
| Abbreviated title | SC2 Workshop 2021 |
| Country/Territory | United States |
| City | College Station |
| Period | 19/08/21 → 20/08/21 |
| Internet address |
Bibliographical note
Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)Keywords
- symbolic computation,
- computer algebra systems,
- satisfiability checking,
- SMT solvers