Mostafa Abd-El-Barr, Bambang A. B. Sarif. Weighted and Ordered Direct Cover Algorithms for Minimization of MVL Functions. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 48, IEEE Computer Society, 2007. [doi]
Abstract is missing.