Published May 16, 2024 | Version v1
Dataset Open

Clausal Equivalence Sweeping Paper Logs

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg
  • 2. TU Wien
  • 3. ROR icon Johannes Kepler University of Linz

Description

These are the log files and other experimental data of our paper on clausal equivalence sweeping.

Files

Files (173.8 MB)

Name Size Download all
md5:0e22107861f260e5578cfb781ed8e88a
173.8 MB Download