Kissat Clause Reduction Version

Gstrein, Bernhard; Pollitt, Florian; Schidler, André; Fleury, Mathias; Biere, Armin

doi:10.4230/artifacts.24025

Artifact

Kissat Clause Reduction Version Software

Authors Bernhard Gstrein , Florian Pollitt , André Schidler , Mathias Fleury , Armin Biere

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-08-07

Document Identifiers

DOI: 10.4230/artifacts.24025
URN: urn:nbn:de:0030-drops-240255

Author Details

Bernhard Gstrein

University of Freiburg, Germany

Florian Pollitt

University of Freiburg, Germany

André Schidler

University of Freiburg, Germany

Mathias Fleury

University of Freiburg, Germany

Armin Biere

University of Freiburg, Germany

Content

Software (Source Code): https://github.com/texmex76/kissat-cr
archived version

Version/Status

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

Cite As Get BibTex

Bernhard Gstrein, Florian Pollitt, André Schidler, Mathias Fleury, Armin Biere. Kissat Clause Reduction Version (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24025

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