Lukáš Holík

Nuovi metodi migliorano la gestione dei vincoli delle stringhe nella programmazione.

Nuovo algoritmo migliora tantissimo l'efficienza nella simulazione di sistemi di transizione etichettati.

Un nuovo metodo migliora la risoluzione di equazioni lineari intere usando automi e algebra.