2012 IEEE 42nd International Symposium on Multiple-Valued Logic (IEEE)