Towards efficient MUS extraction

Anton Belov, Inês Lynce, João Marques-Silva. Towards efficient MUS extraction. AI Commun., 25(2):97-116, 2012. [doi]

Abstract

Abstract is missing.