Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
MGwynne
  • Member for 11 years
  • Last seen more than a month ago
  • London, United Kingdom
Profile Activity
Stats
523
reputation
37k
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
40
How to to read a matrix from a given file?
26
Rotate a list in Haskell
16
Convert a long to two int for the purpose of reconstruction
14
How to tell ant to build using a specific javac executable?
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.