Melnikov, Boris, China
-
Vol 8, No 10 (2020) - Theoretical Informatics and Computer Science
On the application of some heuristics in the study of the state minimization problem for nondeterministic finite automata by the branch and bound method. Part 2
Abstract PDF (Russian)