Skip to main content
Computer Science
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff
  • Member for 12 years, 3 months
  • Last seen this week
Profile Activity
Stats
892
reputation
29k
reached
10
answers
11
questions
Communities
View all
Badges
View all badges
1
gold badge
7
silver badges
16
bronze badges
Top tags
View all tags
3
Score
9
Posts
43
Posts %
3
Score
3
Posts
14
Posts %
1
Score
6
Posts
29
Posts %
1
Score
2
Posts
10
Posts %
1
Score
2
Posts
10
Posts %
1
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
question
20
How hard is finding the discrete logarithm?
Jul 9, 2012
question
17
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
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
3
What is an upper bound on formula size when converting 3-SAT to UNIQUE 3-SAT?
Feb 10, 2014
question
3
Why don't integer multiplication algorithms use lookup tables?
Mar 26, 2019
question
2
Is there a designation for this not-quite-exponential time?
Feb 6, 2014
question
2
Quickly obtaining sums of sets of numbers
Nov 22, 2019
Top network posts
View all network posts
41
Will moving differentiation from inside, to outside an integral, change the result?
39
How can I plot the direction field for a differential equation?
30
how many semantically different boolean functions are there for n boolean variables?
30
Modular Arithmetic - Find the Square Root
27
Has there been any research on $k$-SAT above the satisfiability threshold?