Computer Science
user avatar
user avatar
user avatar
Matt Groff
  • Member for 9 years, 11 months
  • Last seen this week
Profile Activity
Stats
835
reputation
21k
reached
7
answers
11
questions
Communities
View all
Badges
View all badges
1
gold badge
6
silver badges
14
bronze badges
Top tags
View all tags
3
Score
3
Posts
17
Posts %
2
Score
6
Posts
33
Posts %
1
Score
6
Posts
33
Posts %
1
Score
2
Posts
11
Posts %
1
Score
2
Posts
11
Posts %
0
Score
4
Posts
22
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
20
How hard is finding the discrete logarithm?
Jul 9, 2012
question
16
Is generalized XOR-SAT efficiently solvable?
Apr 13, 2015
question
8
How much can we reduce the number of clauses by converting from $k$-SAT to $(k+m)$-SAT?
Aug 21, 2012
question
6
What circuit depth is required to add?
Jan 3, 2014
question
3
What is an upper bound on formula size when converting 3-SAT to UNIQUE 3-SAT?
Feb 10, 2014
question
3
How can we reduce variables when converting from 3-SAT to 4-SAT?
Oct 22, 2012
question
3
What are the potential uses of a good R.N.S. system?
Nov 14, 2012
question
2
Is there a designation for this not-quite-exponential time?
Feb 6, 2014
question
2
Why don't integer multiplication algorithms use lookup tables?
Mar 26, 2019
question
2
Quickly obtaining sums of sets of numbers
Nov 22, 2019
Top network posts
View all network posts
40
Will moving differentiation from inside, to outside an integral, change the result?
36
How can I plot the direction field for a differential equation?
29
how many semantically different boolean functions are there for n boolean variables?
26
Modular Arithmetic - Find the Square Root
25
Has there been any research on $k$-SAT above the satisfiability threshold?

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.