A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs | IEEE Conference Publication | IEEE Xplore