Efficient MUS extraction with resolution.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Browse the full FMCAD paper archive.