( en | de | ru )

 

Disambiguierung von "Bonacina, Ilario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proofs of Space: When Space Is of the Essence.

, , , und . SCN, Volume 8642 von Lecture Notes in Computer Science, Seite 538-557. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claudio Bonacina

 

Weitere Publikationen von Autoren mit dem selben Namen

Proofs of Space: When Space Is of the Essence., , , und . SCN, Volume 8642 von Lecture Notes in Computer Science, Seite 538-557. Springer, (2014)Total Space in Resolution., , und . FOCS, Seite 641-650. IEEE Computer Society, (2014)Strong ETH and Resolution via Games and the Multiplicity of Strategies., und . IPEC, Volume 43 von LIPIcs, Seite 248-257. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems., und . Electron. Colloquium Comput. Complex., (2012)Total Space in Resolution Is at Least Width Squared.. ICALP, Volume 55 von LIPIcs, Seite 56:1-56:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems., und . Electron. Colloquium Comput. Complex., (2021)Space proof complexity for random 3-CNFs., , , , , und . Inf. Comput., (2017)On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems., und . LICS, Seite 25:1-25:12. ACM, (2022)Polynomial Calculus for MaxSAT., , und . SAT, Volume 271 von LIPIcs, Seite 5:1-5:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Clique Is Hard on Average for Regular Resolution., , , , , und . CoRR, (2020)