Annealing-based heuristics and genetic algorithms for circuit partitioning in parallel test generation | Publicación