Pubblicazioni
2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Atserias, Albert; Lauria, Massimo; Nordström, Jakob
2015 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
2015 - SIAM JOURNAL ON COMPUTING
Filmus, Yuval; Lauria, Massimo; Nordström, Jakob; Ron Zewi, Noga; Thapen, Neil