Clausal Equivalence Sweeping Paper Logs

DOI10.5281/zenodo.11203283Zenodo11203283MaRDI QIDQ6700830FDOQ6700830

Dataset published at Zenodo repository.

Armin Biere, Nils Froleyks, Katalin Fazekas, Mathias Fleury

Publication date: 16 May 2024

Copyright license: Creative Commons Attribution 4.0 International

Description

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

This page was built for dataset: Clausal Equivalence Sweeping Paper Logs