Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Lauria, Massimo

Total activitats: 6
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Correu electrònic
massimo.lauriaupc.edu
Dades de contacte
Directori de la UPC Obrir en finestra nova
Completa les teves dades

Producció científica

1 a 6 de 6 resultats
 
  • On the proof complexity of Paris-Harrington and off-diagonal Ramsey tautologies

     Carlucci, L.; Galesi, N.; Lauria, M.
    ACM transactions on computational logic
    Vol. 17, num. 4, p. 26:1-26:25
    DOI: 10.1145/2946801
    Data de publicació: 2016-11-01
    Article en revista
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    ACM transactions on computational logic
    Vol. 17, num. 3, p. 19:1-19:30
    DOI: 10.1145/2898435
    Data de publicació: 2016-07-03
    Article en revista
    Accés al text complet
  • Trade-offs between time and memory in a tighter model of CDCL SAT solvers  Accés obert

     Elffers, J.; Johannsen, J.; Lauria, M.; Magnard, T.; Nordström, J.; Vinyals, M.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 160-176
    DOI: 10.1007/978-3-319-40970-2_11
    Data de presentació: 2016-07
    Presentació treball a congrés
    Accés al text complet
  • A rank lower bound for cutting planes proofs of Ramsey's Theorem

     Lauria, M.
    ACM Transactions on Computation Theory
    Vol. 8, num. 4, p. 17-
    DOI: 10.1145/2903266
    Data de publicació: 2016-06
    Article en revista
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    IEEE Conference on Computational Complexity
    p. 286-297
    DOI: 10.1109/CCC.2014.36
    Data de presentació: 2014-06-11
    Presentació treball a congrés
    Accés al text complet
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Projecte R+D+I competitiu