2011 IEEE 41st International Symposium on Multiple-Valued Logic (IEEE)