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 13 years, 9 months
  • Last seen this week
Profile Activity

Stats

917
reputation
33k
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
21
How hard is finding the discrete logarithm?
Jul 9, 2012
17
Is generalized XOR-SAT efficiently solvable?
Apr 13, 2015
8
How much can we reduce the number of clauses by converting from $k$-SAT to $(k+m)$-SAT?
Aug 21, 2012
6
What circuit depth is required to add?
Jan 3, 2014
3
How can we reduce variables when converting from 3-SAT to 4-SAT?
Oct 22, 2012
3
What are the potential uses of a good R.N.S. system?
Nov 14, 2012
3
What is an upper bound on formula size when converting 3-SAT to UNIQUE 3-SAT?
Feb 10, 2014
3
Why don't integer multiplication algorithms use lookup tables?
Mar 26, 2019
2
Is there a designation for this not-quite-exponential time?
Feb 6, 2014
2
Quickly obtaining sums of sets of numbers
Nov 22, 2019

Top network posts

View all network posts
42
Will moving differentiation from inside, to outside an integral, change the result?
40
How can I plot the direction field for a differential equation?
33
how many semantically different boolean functions are there for n boolean variables?
31
Modular Arithmetic - Find the Square Root
27
Has there been any research on $k$-SAT above the satisfiability threshold?