default search action

combined dblp search
author search
venue search
publication search

ask others

Satisfiability Checking and Symbolic Computation Workshop (SC-Square)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

access: some or all publications openly available

8th SC-Square@ISSAC 2023: Tromsø, Norway

- view
- export record
  dblp key:
  - conf/scsquare/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2023
Erika Ábrahám, Thomas Sturm:
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. CEUR Workshop Proceedings 3455, CEUR-WS.org 2023 [contents]

7th SC-Square@FLoC 2022: Haifa, Israel

- view
- export record
  dblp key:
  - conf/scsquare/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2022
Ali Kemal Uncu, Haniel Barbosa:
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022. CEUR Workshop Proceedings 3458, CEUR-WS.org 2023 [contents]

6th SC-Square@SIAM AG 2021: Virtual Event, College Station, USA

- view
- export record
  dblp key:
  - conf/scsquare/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2021
Curtis Bright, James H. Davenport:
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021. CEUR Workshop Proceedings 3273, CEUR-WS.org 2022 [contents]

5th SC-Square@IJCAR 2020: Paris, France

- view
- export record
  dblp key:
  - conf/cade/2020paar
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2020paar
Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret:
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). CEUR Workshop Proceedings 2752, CEUR-WS.org 2020 [contents]

4th SC-Square@SIAM AG 2019: Bern, Switzerland

- view
- export record
  dblp key:
  - conf/scsquare/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2019
John Abbott, Alberto Griggio:
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. CEUR Workshop Proceedings 2460, CEUR-WS.org 2019 [contents]

3rd SC-Square@FLoC 2018: Oxford, UK

- view
- export record
  dblp key:
  - conf/scsquare/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2018
Anna Maria Bigatti, Martin Brain:
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. CEUR Workshop Proceedings 2189, CEUR-WS.org 2018 [contents]

2nd SC-Square@ISSAC 2017: Kaiserslautern, Germany

- view
- export record
  dblp key:
  - conf/issac/2017sc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/2017sc
Matthew England, Vijay Ganesh:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. CEUR Workshop Proceedings 1974, CEUR-WS.org 2017 [contents]

1st SC-Square@SYNASC 2016: Timisoara, Romania

- view
- export record
  dblp key:
  - conf/synasc/2016sc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/2016sc
Erika Ábrahám, James H. Davenport, Pascal Fontaine:
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. CEUR Workshop Proceedings 1804, CEUR-WS.org 2017 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.