Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff
  • Member for 13 years, 5 months
  • Last seen more than a month ago
26 votes
3 answers
2k views

Has there been any research on $k$-SAT above the satisfiability threshold?

20 votes
1 answer
780 views

How close can we get to linear multiply, add, and compare (on integers)?

11 votes
3 answers
811 views

Where do I turn for help with research/publishing?

11 votes
2 answers
833 views

Are quasi-polynomial sized circuits for 3-SAT trivial?

9 votes
2 answers
406 views

Information on k-SAT (Introduction, Bounds, Methods, etc.)

7 votes
0 answers
250 views

How quickly can we find an arbitrary digit in multiplication?

7 votes
2 answers
337 views

The worst-case scenario(s) for MAX3E SAT

7 votes
1 answer
112 views

How quickly can we perform base extension in a residue number system?

7 votes
2 answers
453 views

What are the current best upper bounds of #P?

7 votes
0 answers
153 views

What's the upper bounds for #3-SAT circuits?

6 votes
5 answers
284 views

What is/are the lower bounds for finding a something akin to complex residue?

6 votes
0 answers
273 views

The latest concerning Valiant-Vazirani

5 votes
1 answer
504 views

What is the running time of taking a limit?

5 votes
0 answers
158 views

Satisfiability threshold and partially random formulas

5 votes
1 answer
98 views

How quickly can we decompose a number into a set of residues?

5 votes
1 answer
692 views

Can we confirm that 2-SAT can indeed be transformed into Horn-SAT in this manner?

3 votes
0 answers
223 views

Fast way of getting a matrix of sums

3 votes
0 answers
66 views

How fast can we group clauses with few variables in common in k-SAT?

3 votes
2 answers
135 views

How well can we do with this variable assignment problem?

2 votes
0 answers
166 views

Is SAT in $c^{\sqrt{n}}$ time with preprocessing worthwhile?

2 votes
0 answers
99 views

How fast can we perform DFT on a Log-RAM computer?

2 votes
0 answers
265 views

Is putting articles on arXiv or alternatives, before peer review, generally acceptable?

2 votes
0 answers
132 views

What would faster Fourier Transform(FFT?) and/or multiplication algorithms imply?

2 votes
0 answers
87 views

#2-SAT or 3-SAT and variable that appears most often

2 votes
0 answers
91 views

Forming Sets from 3-SAT Clauses

1 vote
1 answer
219 views

What is known about matrix multiplication, and matrix circuits?

1 vote
0 answers
33 views

Are there uses for a Fourier transform of length $n^m$ with elements of maximum size $n$?

1 vote
1 answer
722 views

Learning about EXPTIME and EXPSPACE

1 vote
1 answer
214 views

Can an oracle allowing errors be non-relativizing?

0 votes
1 answer
193 views

What is known about NP hard problems that access preprocessed information?