8 citations · 8 across the 1 of their papers we have counts for
1 paper
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…