Clausal Equivalence Sweeping Paper Logs

DOI10.5281/zenodo.11203283ZenodoMaRDI QIDQ6700830FDO

Authors 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