Multi-targeting boolean satisfiability-based test pattern generation | AMiner