Loading...
Loading...

Go to the content (press return)

Scientific and technological production

1 to 3 of 3 results
 
  • Resolution lower bounds for refutation statements  Open access

     Garlik, M.
    International Symposium on Mathematical Foundations of Computer Science
    p. 37:1-37:13
    DOI: 10.4230/LIPIcs.MFCS.2019.37
    Presentation's date: 2019-08
    Presentation of work at congresses
    Loading...
    Access to the full text
  • Some subsystems of constant-depth Frege with parity  Open access

     Garlik, M.; Kolodziejczyk, A.
    ACM transactions on computational logic
    Vol. 19, num. 4, p. 29:1-29:33
    DOI: 10.1145/3243126
    Date of publication: 2018-11
    Journal article
    Loading...
    Access to the full text
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

     Diaz, J.; Pino, E.; Garlik, M.; Atserias, A.; Messegue, A.; Petit, J.; Martinez, C.; Moreno, A.; Duch, A.; Blesa, M.; Edelmira Pasarella; Taymouri, F.; Sierra-Santibáñez, J.; Alvarez, C.; Serna, M.; Cortadella, J.; Messeguer, X.; Gabarro, J.; Roura, S.; Vidal, A.; Lauria, M.; Orejas, F.; Valiente, G.; Coma, B.; Carmona, J.
    Competitive project
    Loading...