Extracting MUSes.

ric Grgoire, Bertrand Mazure, Cdric Piette

Browse the full ECAI paper archive.