Formula Preprocessing in MUS Extraction.

Anton Belov, Matti Jrvisalo, Joo Marques-Silva

Browse the full TACAS paper archive.