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.

11 results · clear filters Sort: newest oldest name

  1. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    series, 28 events, 2001 to 2026
    Computer and information sciences
    s10ahex
  2. Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (SAT)
    2019-07-09/12 · Lisbon, Portugal
    Computer and information sciences
    e11r242
  3. Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (SAT)
    2018-07-09/12 · Oxford, United Kingdom
    Computer and information sciences
    e11r234
  4. International Conference on Theory and Applications of Satisfiability Testing (SAT 2017, SAT)
    2017-08-28 to 2017-09-01 · Melbourne, Australia
    Computer and information sciences
    e107kgw
  5. International Conference on Theory and Applications of Satisfiability Testing (SAT 2016, SAT)
    2016-07-05/08 · Bordeaux, France
    Computer and information sciences
    e107kfz
  6. International Conference on Theory and Applications of Satisfiability Testing (SAT 2015, SAT)
    2015-09-24/27 · Austin, United States
    Computer and information sciences
    e107ke1
  7. International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)
    2014-07-14/17 · Vienna, Austria
    Computer and information sciences
    e107kd3
  8. International Conference on Theory and Applications of Satisfiability Testing (SAT)
    2013-07-08/12 · Helsinki, Finland
    Computer and information sciences
    e107kc5
  9. International Conference on Theory and Applications of Satisfiability Testing (SAT 2012, SAT)
    2012-06-17/20 · Trento, Italy
    Computer and information sciences
    e107kb7
  10. International Conference on Theory and Applications of Satisfiability Testing (SAT 2011, SAT)
    2011-06-19/22 · Ann Arbor, United States
    Computer and information sciences
    e107ka9
  11. International Conference on Theory and Applications of Satisfiability Testing (SAT 2010, SAT)
    2010-07-11/14 · Edinburgh, United Kingdom
    Computer and information sciences
    e107k9b

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