Computer Science
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff
  • Member for 11 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
882
reputation
26k
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
All Questions Answers
Score Newest
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
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
41
Will moving differentiation from inside, to outside an integral, change the result?
37
How can I plot the direction field for a differential equation?
30
Modular Arithmetic - Find the Square Root
30
how many semantically different boolean functions are there for n boolean variables?
26
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.