# Bean Scripting Framework

## Papers overview

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

Highly Cited

2006

Highly Cited

2006

- STOC
- 2006

A common thread in recent results concerning the testing of dense graphs is the use of SzemerÃ©di's regularity lemma. In thisâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- STOC
- 1999

Let M be a logarithmic space Turing machine (or a polynomial width branching program) that uses up to k â‰ˆ 2 âˆš logn (read onceâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- J. Comput. Syst. Sci.
- 1998

In this paper we consider two party communication complexity when the input sizes of the two players differ significantly, theâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- STOC
- 1997

Russell Impagliazzo* Avi Wigdersont Department of Computer Science Institute of Computer Science University of California Hebrewâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- STOC
- 1996

A propositional proof system can be viewed as a non-deterministic algorithm for the (co-NP complete) unsatisfiabilit y problemâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- CRYPTO
- 1994

We initiate the investigation of a new kind of e ciency for cryptographic transformations. The idea is that having once appliedâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Random Struct. Algorithms
- 1994

For every 1 > Î´ > 0 there exists a c = c(Î´) > 0 such that for every group G of order n, and for a set S of c(Î´) log n randomâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- STOC
- 1993

Efficient Probabilistically Checkable Proofs and Applications to Approximation M. BELLARE* S. GOLDWASSERt C. LUNDi A. RUSSELL$ Weâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- ISTCS
- 1993

Let A be a Las Vegas algorithm, i.e., A is a randomized algorithm that always produces the correct answer when it stops but whoseâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- CRYPTO
- 1992

The notion of a "proof of knowledge" , introduced by Goldwasser, Micali and Rackoff, has been used in several works as a tool forâ€¦Â (More)

Is this relevant?