A parallel algorithm for coverage optimization on multi-core architectures.