Neural networks for the set covering problem: an application to the test vector compaction | IEEE Conference Publication | IEEE Xplore