Lukáš Holík

Nuevos métodos mejoran la gestión de restricciones de cadenas en programación.

Nuevo algoritmo mejora mucho la eficiencia en la simulación de sistemas de transición etiquetados.

Un nuevo método mejora la resolución de ecuaciones lineales enteras usando autómatas y álgebra.