2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)