2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)