The State Minimization Problem for Nondeterministic Finite Automata: The Parallel Implementation of the Truncated Branch and Bound Method | IEEE Conference Publication | IEEE Xplore