Event Beta

International Conference on Theory and Applications of Satisfiability Testing

Name: International Conference on Theory and Applications of Satisfiability Testing
Start: 2004-05-10
End: 2004-05-13
Location: Vancouver

SAT

Date: 2004-05-10/13
Place: Vancouver, Canada on the map
Series: International Conference on Theory and Applications of Satisfiability Testing
Edition: 7
Academic field: Natural sciences: Computer and information sciences
Disciplines: boolean satisfiability problem, satisfiability
Identifier: https://id.confref.org/event/e107k3q

Proceedings

Title	DOI	Year	Record
Theory and Applications of Satisfiability Testing LNCS 3542	10.1007/11527695	2005	Springer

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/sat2004`
GND	`https://d-nb.info/gnd/10108934-X`

Cite

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

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.