There is a newer version of the record available.

Published March 15, 2024 | Version v1
Dataset Open

Clausal Congruence Closure Paper Logs, Plots and Tables

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the log files and other experimental of our paper on clausal
congruence closure together with generated plots and tables.

Files

Files (243.4 MB)

Name Size Download all
md5:28c6e69400d885581d41c2094ce991c8
243.4 MB Download