Supplementary material for SAT'25 publication "Streamlining Distributed SAT Solver Design"

Schreiber, Dominik; Rigi-Luperti, Niccolò; Biere, Armin

doi:10.4230/artifacts.24204

Artifact

Supplementary material for SAT'25 publication "Streamlining Distributed SAT Solver Design" Software

Authors Dominik Schreiber , Niccolò Rigi-Luperti , Armin Biere

Part of: Collection: Supplementary Materials
License: GNU Lesser General Public License v3.0 only
Publication Date: 2025-08-07

Document Identifiers

DOI: 10.4230/artifacts.24204
URN: urn:nbn:de:0030-drops-242041

Author Details

Dominik Schreiber

Karlsruhe Institute of Technology, Germany

Niccolò Rigi-Luperti

Karlsruhe Institute of Technology, Germany

Armin Biere

University of Freiburg, Germany

Content

Software (Source Code): https://github.com/nrilu/SAT_2025_supplement_63
archived version

Version/Status

Content created at: 2025-06-05
Status: Active (at the time of publication 2025-08-07)

Cite As Get BibTex

Dominik Schreiber, Niccolò Rigi-Luperti, Armin Biere. Supplementary material for SAT'25 publication "Streamlining Distributed SAT Solver Design" (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24204

Description

Supplementary material for SAT'25 publication "Streamlining Distributed SAT Solver Design"

Subject Classification

Programming Languages

C++
Shell
Python
C
CMake
Dockerfile
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

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