Pubblicazioni

Circular (Yet Sound) Proofs

2019 - Theory and Applications of Satisfiability Testing – SAT 2019
Atserias, A.; Lauria, M.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma