Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.

Éric Grégoire Bertrand Mazure Cédric Piette Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. 2300-2305 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-370.pdf db/conf/ijcai/ijcai2007.html#GregoireMP07