Skip to content

Maxima Units Search (MUS) algorithm: methodology and applications

http://arxiv.org/abs/1611.01069v1