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

ric Grgoire, Bertrand Mazure, Cdric Piette

Browse the full IJCAI paper archive.