His solution was formalized and published in collaboration with Harvard computer scientist Christos Papadimitriou.
তেখেতেৰ সমাধানটো শৃংখলিত কৰা হৈছিল আৰু হাৰ্ভাৰ্ডৰ কম্পিউটাৰ বিজ্ঞানী ক্ৰিষ্টোছ পাপাডিমিট্ৰিয়াৰ সহযোগিতাত প্ৰকাশ কৰা হৈছিল।