Computer Science
michaelsnowden
  • GitHub
  • Mountain View, CA, United States
  • Member for 7 years, 7 months
Profile Activity
Stats
247
reputation
996
reached
1
answers
7
questions
About

Software Engineer at Google

Communities (52)

Top network posts

This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges

Top tags (14)

Score 1
Posts 2
Posts % 25
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (8)

All Questions Answers
Votes Newest
3 Convert DAG whose transitive reduction is non-planar to a planar DAG with same transitive closure Feb 18 '18
2 Soft question: program result verification Mar 13 '18
2 Edge removal to convert a non-planar DAG to a planar DAG while maintaining reachability? Feb 17 '18
2 Most efficient unification algorithm? Dec 12 '17
2 How to make this recursive relationship nonrecursive? [closed] Mar 20 '14
1 How is reachability reduced to order maintenance? Feb 20 '18
1 Does the running-time of this push-relabel algorithm become zero if there are many edges? Oct 20 '16
1 Soft question: program result verification Mar 14 '18

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.