Circular (Yet Sound) Proofs

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Albert Atserias, Massimo Lauria

Journal title: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Journal number: 11628

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 1-18

DOI identifier: 10.1007/978-3-030-24258-9_1

ISBN: 978-3-030-24257-2