# Truth-table reduction

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- CiE
- 2010

For a computable field F , the splitting set SF of F is the set of polynomials with coefficients in F which factor over F , andâ€¦Â (More)

Is this relevant?

2009

2009

- IEICE Transactions
- 2009

A static dependency pair method, proposed by us, can effectively prove termination of simply-typed term rewriting systems (STRSsâ€¦Â (More)

Is this relevant?

2005

2005

- 2005

Reduction of U(VI) under iron reducing conditions was studied in a model system containing the dissimilatory metalreducingâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 2004

With in situ and laboratory chamber incubations we demonstrate that coral mucus, an important component of particulate organicâ€¦Â (More)

Is this relevant?

2004

2004

- J. Applied Logic
- 2004

Deviating from standard possible-worlds semantics, authors belonging to what might be called the â€˜imperative traditionâ€™ ofâ€¦Â (More)

Is this relevant?

2001

2001

- J. Symb. Log.
- 2001

The following theorems on the structure inside nonrecursive truth-table degrees are established: D egtev's result that the numberâ€¦Â (More)

Is this relevant?

1998

1998

- J. Comput. Syst. Sci.
- 1998

We prove that there is no sparse hard set for P under logspace computable bounded truth-table reductions unless P=L. In case ofâ€¦Â (More)

Is this relevant?

1996

1996

- IEEE Conference on Computational Complexity
- 1996

Let P P-comp denote the sets that are solvable in polynomial time on average under every polynomial-time computable distributionâ€¦Â (More)

Is this relevant?

1993

1993

- J. Semantics
- 1993

When a definite noun phrase fails to refer, the statement containing it is often felt to lack a truth value, as in The king ofâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Inf. Comput.
- 1991

We show that polynomial time truth-table reducibility via Boolean circuits to SAT is the same as logspace truth-tableâ€¦Â (More)

Is this relevant?