TY - JOUR AU - TI - Heuristic Minimization of MVL Functions: A Direct Cover Approach JF - IEEE Transactions on Computers DO - 10.1109/tc.1986.1676731 DA - 1986-02-01 UR - https://www.deepdyve.com/lp/crossref/heuristic-minimization-of-mvl-functions-a-direct-cover-approach-mznRlLDfIk SP - 134 EP - 144 VL - C-35 IS - 2 DP - DeepDyve ER -