Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computationalâ€¦Â (More)

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

Review

2016

Review

2016

- Maximilian Nickel, Kevin Murphy, Volker Tresp, Evgeniy Gabrilovich
- Proceedings of the IEEE
- 2016

Relational machine learning studies methods for the statistical analysis of relational, or graph-structured, data. In this paperâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Sanjeev Arora, Boaz Barak
- 2009

Not to be reproduced or distributed without the authors' permission This is an Internet draft. Some chapters are more finishedâ€¦Â (More)

Is this relevant?

2009

2009

- Mario J. PÃ©rez-JimÃ©nez
- Workshop on Membrane Computing
- 2009

In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial complexityâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- Barry S. Cooper
- 2008

Complexity theory is the part of theoretical computer science that attempts to prove that certain transformations from input toâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Riccardo Zecchina, Scott Kirkpatrick, Bart Selman, Lidror Troyanskyk
- 1999

* CNRS-Laboratoire de Physique The Ã‚orique, 24, Rue Lhomond, 75231 Paris Cedex, France 2 The Abdus Salam International Centre forâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Tom Bylander
- Artif. Intell.
- 1994

I present several computational complexity results for propositional STRIPS planning, i.e., STRIPS planning restricted to groundâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Ethan Bernstein, Umesh V. Vazirani
- SIAM J. Comput.
- 1993

In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of anâ€¦Â (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- Shafi Goldwasser, Silvio Micali, Charles Rackoff
- SIAM J. Comput.
- 1989

Usually, a proof of a theorem contains more knowledge than the mere fact that the theorem is true. For instance, to prove that aâ€¦Â (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- Ker-I Ko, Harvey M. Friedman
- Theor. Comput. Sci.
- 1982

Recursive analysis, the theory of computation of functions on real numbers, has been studied from various aspects. We investigateâ€¦Â (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- Andrew Chi-Chih Yao
- 23rd Annual Symposium on Foundations of Computerâ€¦
- 1982

The purpose of this paper is to introduce a new information theory and explore its appplications. Using modern computationalâ€¦Â (More)

Is this relevant?