Theoretical Computer Science
MGwynne's user avatar
MGwynne's user avatar
MGwynne's user avatar
MGwynne
  • Member for 12 years
  • Last seen more than 1 year ago
  • London, United Kingdom
Profile Activity
Stats
523
reputation
41k
reached
3
answers
1
question
Communities
View all
About

Data Scientist / Operations Researcher. Background in SAT/ CP/Combinatorial Optimisation (PhD) + recently in ML/AI+Big Data. Love Math+algos!

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
38
Score
4
Posts
100
Posts %
31
Score
1
Posts
25
Posts %
31
Score
1
Posts
25
Posts %
31
Score
1
Posts
25
Posts %
5
Score
2
Posts
50
Posts %
5
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
31
Why is 2SAT in P?
Jun 5, 2011
answer
5
Length of a minimal DNF Boolean expression
Sep 27, 2012
question
3
Bounds on the size of smallest decision tree for a boolean function?
Jun 6, 2011
answer
2
Shortest formula for an n-term monotone CNF
Jun 23, 2011
Top network posts
View all network posts
44
How to to read a matrix from a given file?
27
Rotate a list in Haskell
17
Convert a long to two int for the purpose of reconstruction
15
Reduce the following problem to SAT
14
How to tell ant to build using a specific javac executable?

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.