SC-Square: Overview to 2021.

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

1 Citation (Scopus)
27 Downloads (Pure)


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 languageEnglish
Title of host publicationSC-Square Workshop 2021 Proceedings
EditorsCurtis Bright, James Davenport
PublisherCEUR Workshop Proceedings
Number of pages6
Publication statusPublished - 14 Nov 2022
Event6th International Workshop on Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems - College Station, United States
Duration: 19 Aug 202120 Aug 2021
Conference number: 6

Publication series

NameCEUR workshop proceedings
ISSN (Electronic)1613-0073


Conference6th International Workshop on Satisfiability Checking and Symbolic Computation
Abbreviated titleSC2 Workshop 2021
Country/TerritoryUnited States
CityCollege Station
Internet address

Bibliographical note

Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)


  • symbolic computation,
  • computer algebra systems,
  • satisfiability checking,
  • SMT solvers


Dive into the research topics of 'SC-Square: Overview to 2021.'. Together they form a unique fingerprint.

Cite this