Clausal Equivalence Sweeping Paper Logs

From MaRDI portal
(Redirected from Dataset:6700830)


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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Clausal_Equivalence_Sweeping_Paper_Logs&oldid=54645680"
Powered by MediaWiki