Circular (yet sound) proofs
From MaRDI portal
Publication:2181918
DOI10.1007/978-3-030-24258-9_1zbMath1441.03041arXiv1802.05266OpenAlexW2962830316MaRDI QIDQ2181918
Massimo Lauria, Albert Atserias
Publication date: 20 May 2020
Full work available at URL: https://arxiv.org/abs/1802.05266
Related Items (4)
Unnamed Item ⋮ Circular (Yet Sound) Proofs in Propositional Logic ⋮ Proofs and Certificates for Max-SAT ⋮ MaxSAT Resolution and Subcube Sums
This page was built for publication: Circular (yet sound) proofs