Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff's user avatar
Matt Groff
  • Member for 13 years, 8 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
782 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
837 views

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

9 votes
2 answers
407 views

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

7 votes
0 answers
251 views

How quickly can we find an arbitrary digit in multiplication?

7 votes
2 answers
338 views

The worst-case scenario(s) for MAX3E SAT

7 votes
1 answer
113 views

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

7 votes
2 answers
456 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
277 views

The latest concerning Valiant-Vazirani

5 votes
1 answer
506 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
705 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
67 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
100 views

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

2 votes
0 answers
274 views

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

2 votes
0 answers
133 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
223 views

What is known about matrix multiplication, and matrix circuits?

1 vote
0 answers
35 views

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

1 vote
1 answer
724 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?