2010 40th IEEE International Symposium on Multiple-Valued Logic