Circular (yet sound) proofs

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

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20)

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