Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

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

Highly Cited

2011

Highly Cited

2011

This work considers the quantum interactive proof system model of computation, which is the (classical) interactive proof system… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

We present a nondeterministic model of computation based on reversing edge directions in weighted directed graphs with minimum in… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions… Expand

Is this relevant?

Highly Cited

2004

Highly Cited

2004

We prove that satisfiability problem for word equations is in PSPACE.

Is this relevant?

Highly Cited

1999

Highly Cited

1999

We prove that the satisfiability problem for word equations is in PSPACE. The satisfiability problem for word equations has a… Expand

Is this relevant?

Highly Cited

1998

Highly Cited

1998

We present NC-approximation schemes for a number of graph problems when restricted to geometric graphs including unit disk graphs… Expand

Is this relevant?

Highly Cited

1994

Highly Cited

1994

Abstract Given an arbitrary position of the Othello game played on an n × n board, the problem of determining the winner is shown… Expand

Is this relevant?

Highly Cited

1992

Highly Cited

1992

In this paper, it is proven that when both randomization and interaction are allowed, the proofs that can be verified in… Expand

Is this relevant?

Highly Cited

1988

Highly Cited

1988

We give a PSPACE algorithm for determining the signs of multivariate polynomials at the common zeros of a system of polynomial… Expand

Is this relevant?

Highly Cited

1978

Highly Cited

1978

The problem of deciding whether a given propositional formula in conjunctive normal form is satisfiable has been widely studied… Expand

Is this relevant?