activity
20132026
most citedAdaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits

5 citations · 29 across the 26 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018★ 1 cited

Simulation Algorithms for Symbolic Automata (Technical Report)

Lukáš Holík, Ondřej Lengál, Juraj Síč +2

We investigate means of efficient computation of the simulation relation over symbolic finite automata (SFAs), i.e., finite automata with transitions labeled by predicates over alp…