The Use of Multiple Connected Pseudo Minterms in the Synthesis of MVL Functions | IEEE Conference Publication | IEEE Xplore