Lukáš Holík

New methods improve the handling of string constraints in programming.

New algorithm greatly improves efficiency in simulating labeled transition systems.

A new method improves solving linear integer equations using automata and algebra.