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 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)

Vojtěch Havlena, Lukáš Holík, Ondřej Lengál +1

We propose a lazy decision procedure for the logic WSkS. It builds a term-based symbolic representation of the state space of the tree automaton (TA) constructed by the classical W…