Efficient static compaction of test patterns using partial maximum satisfiability | TUP Journals & Magazine | IEEE Xplore