2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Partition refinement is a method for minimizing automata and transition systems of various types. Recently, a new partition refinement algorithm and associated tool CoPaR were deve…