Exploiting Symmetries in MUS Computation (Extended version)

Open in new window