Computer Science
Martin Seymour
  • Member for 6 years, 11 months
Profile Activity
Stats
345
reputation
11k
reached
1
answers
3
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (3)

Top network posts

1
gold badge
2
silver badges
7
bronze badges

Top tags (7)

Score 3
Posts 3
Posts % 75
Score 3
Posts 3
Score 3
Posts 1
Score 3
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (4)

All Questions Answers
Votes Newest
11 DNF to CNF conversion: Easy or Hard Apr 6 '15
7 Switching Lemma and AC0 reductions between SAT problems Apr 21 '15
3 2-SAT or 3-SAT or k-SAT in AC-0 Jan 26 '15
3 Common method for solving satisfiability problems which lie in P Jan 28 '15

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.