Benchmarks for Diagrammatic Equivalence in TPTP and SMT-LIB
收藏官方服务：
资源简介：
This material is complementary to the paper Challenging Benchmarks for Diagrammatic Equivalence in TPTP and SMT-LIB by Julie Cailler, Noé Delorme, and Sophie Tourret.This archive provides the benchmark instances used for the experiments in TPTP and SMT-LIB formats.
提供机构：
Zenodo创建时间：
2026-02-12
