Event Beta

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023.

Name: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023.
Location: Alghero

Date: 2023
Place: Alghero, Italy on the map
Series: International Workshop on Pragmatics of SAT (PoS)
Edition: 14
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11r20a

Proceedings

Title	DOI	Year	Record
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. CEUR Workshop Proceedings 3545		2023	dblp

Sources

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

dblp	`https://dblp.org/db/conf/sat/pos2023`

Cite

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023.. confref identifier e11r20a. https://id.confref.org/event/e11r20a

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.