SAT-based redundancy removal. - Krishanu Debnath; Rajeev Murgai; Mayank Jain; Janet Olson (DATE, 2018)