Author Organization:Computer Science and EngineeringPublication Venue:Theoretical Computer ScienceClear