Benchmarks for Diagrammatic Equivalence in TPTP and SMT-LIB

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Julie Cailler, Noé Delorme, Sophie Tourret
DOI: 10.5281/zenodo.18623262
Cited by: 0

Abstract

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.

Fields of Study & Subjects

Formal Methods in Verification Logic Reasoning and Knowledge programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 February 2026
Language
EN
Document type
Dataset