Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms.

ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure

Browse the full ICTAI paper archive.