Risultati ricerca pubblicazioni

Circular (Yet Sound) Proofs

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

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