2013 IEEE 43rd International Symposium on Multiple-Valued Logic