Docker Image for the Evaluation of "Navigating AND–OR Graph Modifications to Debug Failing Proof Search"

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

Read full text
Authors: Justin P. Lubin, Marlena Preigh, Max Willsey, Sarah Chasins
DOI: 10.5281/zenodo.19006570
Cited by: 1

Abstract

This archive is a self-contained Docker image for the artifact evaluation of PLDI 2026 paper submission #879. For steps to evaluate this artifact, please see the README.md file. To view an archived version of just the code repository for this artifact, please see the following link: https://doi.org/10.5281/zenodo.19007039

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
20 April 2026
Language
EN