rubenGoetz/SAT26_experimental_data

Götz, Ruben; Dörr, Michael; Schreiber, Dominik

doi:10.4230/artifacts.26962

Artifact

rubenGoetz/SAT26_experimental_data Dataset

Authors Ruben Götz , Michael Dörr , Dominik Schreiber

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26962
URN: urn:nbn:de:0030-drops-269624

Author Details

Ruben Götz

Karlsruhe Institute of Technology, Germany

Michael Dörr

Karlsruhe Institute of Technology, Germany

Dominik Schreiber

Karlsruhe Institute of Technology, Germany

Content

Version/Status

Content created at: 2026-05-11

Cite As Get BibTex

Ruben Götz, Michael Dörr, Dominik Schreiber. rubenGoetz/SAT26_experimental_data (Dataset). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26962

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail