Proof minimization source code bundle
Published in Zenodo (CERN European Organization for Nuclear Research) • Nov 7, 2024
NobleIDNI2P26W04R29S20
Authors:,,
Konstantin Sidorov
Koos van der Linden
Gonçalo Homem de Almeida Correia
Abstract
This archive contains the source code of our implementation of the resolution proof minimization and the experimental infrastructure we used to evaluate it. General information Our implementation is a Rust project which can be build by standard Rust toolchain on Linux (we use rustc 1.77.2). Compilin...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!