There is a newer version of the record available.

Published April 14, 2025 | Version v1
Dataset Open

Clausal Equivalence Checking Miters and SAT Competition Artifact

Authors/Creators

  • 1. ROR icon University of Freiburg
  • 2. TU Wien
  • 3. Technische Universität Wien
  • 4. Johannes Kepler University

Description

This is the artifact of log files, source code and scripts to produce
plots and tables for our clausal equivalence checking article.

Files

Files (292.8 MB)

Name Size Download all
md5:91599daf6717de8e4348bd9b6ac0c765
292.8 MB Download