Model-based diagnosis with default information implemented through MAX-SAT technology | IEEE Conference Publication | IEEE Xplore