Theoretical Computer Science
MGwynne
  • London, United Kingdom
  • Member for 10 years, 5 months
Profile Activity
Stats
523
reputation
34k
reached
3
answers
1
questions
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 11 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
Votes Newest
31
Why is 2SAT in P?
Jun 5 '11
5
Length of a minimal DNF Boolean expression
Sep 27 '12
3
Bounds on the size of smallest decision tree for a boolean function?
Jun 6 '11
2
Shortest formula for an n-term monotone CNF
Jun 23 '11
Top network posts
View all
38
How to to read a matrix from a given file?
26
Rotate a list in Haskell
14
How to tell ant to build using a specific javac executable?
14
Convert a long to two int for the purpose of reconstruction
14
Reduce the following problem to SAT

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.