Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

4 results · clear filters Sort: newest oldest name

  1. Satisfiability Checking and Symbolic Computation Workshop (SC-Square)
    series, 8 events, 2017 to 2025
    Computer and information sciences
    s123ebj
  2. 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.
    2019 · Bern, Switzerland
    Computer and information sciences
    e11rqhj
  3. 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.
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e11rqgm
  4. 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.
    2017 · Kaiserslautern, Germany
    Computer and information sciences
    e11ehq1

As JSON: https://labs.confref.org/api/search?series=s123ebj&from=2010&to=2019