Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey | IEEE Conference Publication | IEEE Xplore