Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper) | IEEE Conference Publication | IEEE Xplore