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. International Conference on Theory and Applications of Satisfiability Testing (SAT 2015, SAT)
    2015-09-24/27 · Austin, United States
    Computer and information sciences
    e107ke1
  2. 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
  3. International Conference on Theory and Applications of Satisfiability Testing (SAT 2006, SAT)
    2006-08-12/15 · Seattle, United States
    Computer and information sciences
    e107k5k
  4. Theory and Applications of Satisfiability Testing (SAT)
    2001-01-01 · Boston, United States
    Computer and information sciences
    e12njab

As JSON: https://labs.confref.org/api/search?series=s10ahex&country=US