Benchmarks And Results Of Experiments Evaluating Various Proof Compression Algorithms

Name: Benchmarks And Results Of Experiments Evaluating Various Proof Compression Algorithms
Published: 2013-01-01T00:00:00+08:00

Zenodo2013-01-01 更新2026-04-07 收录

数据链接：

官方服务：

资源简介：

These experiments were discussed in a paper published at the Tableaux 2013 conference.

创建时间：

2013-01-01