Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths | IEEE Conference Publication | IEEE Xplore