Skip to main content
Theoretical Computer Science
Martin Seymour's user avatar
Martin Seymour's user avatar
Martin Seymour's user avatar
Martin Seymour
  • Member for 10 years, 1 month
  • Last seen more than 9 years ago
Profile Activity
Stats
283
reputation
5k
reached
5
answers
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
View all tags
15
Score
5
Posts
83
Posts %
10
Score
1
Posts
17
Posts %
10
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
3
Score
4
Posts
67
Posts %
Top posts
answer
10
Translating SAT to HornSAT
Nov 20, 2014
answer
5
Properties expressible in 2-CNF or 2-SAT
Dec 5, 2014
answer
3
What are the compelling reasons for believing $L\neq P$?
Nov 21, 2014
answer
1
How many sets of vectors can be represented as the solutions of a Horn-SAT instance?
Mar 16, 2015
answer
-1
How many sets of vectors can be represented as the solutions of a Horn-SAT instance?
Nov 24, 2014
question
-3
Why can't Horn-SAT be solved in Log-space? [closed]
Feb 25, 2015
Top network posts
View all network posts
12
DNF to CNF conversion: Easy or Hard
7
Switching Lemma and AC0 reductions between SAT problems