Clausal Congruence Closure Paper Logs, Plots and Tables
From MaRDI portal
Dataset:6700854
DOI10.5281/zenodo.11658133Zenodo11658133MaRDI QIDQ6700854FDOQ6700854
Dataset published at Zenodo repository.
Publication date: 14 June 2024
Copyright license: Creative Commons Attribution 4.0 International
These are the log files and other experimental data of our paper on clausalcongruence closure together with generated plots and tables.
This page was built for dataset: Clausal Congruence Closure Paper Logs, Plots and Tables
