Risultati ricerca pubblicazioni

Polynomial calculus space and resolution width

pubblicato su: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS - 2019
Galesi N., Kolodziejczyk L., Thapen N.

Space proof complexity for random 3-CNFs

pubblicato su: INFORMATION AND COMPUTATION - 2017
Bennett Patrick, Bonacina Ilario, Galesi Nicola, Huynh Tony, Molloy Mike, Wollan PAUL JOSEPH

Low-cost, high-resolution, fault-robust position and speed estimation for PMSM drives operating in safety-critical systems

pubblicato su: IEEE TRANSACTIONS ON POWER ELECTRONICS - 2019
De Donato Giulio, Scelba Giacomo, Pulvirenti Mario, Scarcella Giuseppe, Giulii Capponi Fabio

Circular (Yet Sound) Proofs

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

Cliques enumeration and tree-like resolution proofs

pubblicato su: INFORMATION PROCESSING LETTERS - 2018
Lauria Massimo

A note about k-DNF resolution

pubblicato su: INFORMATION PROCESSING LETTERS - 2018
Lauria Massimo

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