Weighted and Ordered Direct Cover Algorithms for Minimization of MVL Functions | IEEE Conference Publication | IEEE Xplore