8 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Evgeny Skvortsov, Evgeny Tipikin
In this paper we describe an approach to finding the shortest reset word of a finite synchronizing automaton by using a SAT solver. We use this approach to perform an experimental…