Event Beta

International Conference on Theory and Applications of Satisfiability Testing

Name: International Conference on Theory and Applications of Satisfiability Testing
Start: 2005-06-19
End: 2005-06-23
Location: St Andrews

SAT

Date: 2005-06-19/23
Place: St Andrews, United Kingdom on the map
Series: International Conference on Theory and Applications of Satisfiability Testing
Edition: 8
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e107k4n

Proceedings

Title	DOI	Year	Record
Theory and Applications of Satisfiability Testing LNCS 3569	10.1007/b137280	2005	Springer
Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings Lecture Notes in Computer Science 3569	10.1007/b137280	2005	dblp

Where the sources disagree

start date: springer-lod: 2005-06-19; confref-portal: 2005-01-01

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/sat2005`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/sat2005` · page
dblp	`https://dblp.org/db/conf/sat/sat2005`
GND	`https://d-nb.info/gnd/16033815-3`

Cite

International Conference on Theory and Applications of Satisfiability Testing. confref identifier e107k4n. https://id.confref.org/event/e107k4n

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.