46th Annual IEEE Symposium on Foundations of Computer Science | IEEE Conference Publication | IEEE Xplore