Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,430,048 papers from all fields of science
Search
Sign In
Create Free Account
Co-NP
Known as:
Co np
, CoNP
, NP
Expand
In computational complexity theory, co-NP is a complexity class. A decision problem is a member of co-NP if and only if its complement is in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
AKS primality test
Alternating Turing machine
Circuit Value Problem
Co-NP-complete
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
New Limits to Classical and Quantum Instance Compression
Andrew Drucker
IEEE Annual Symposium on Foundations of Computer…
2012
Corpus ID: 6904822
Given an instance of a hard decision problem, a limited goal is to compress that instance into a smaller, equivalent instance of…
Expand
Highly Cited
2010
Highly Cited
2010
Generalized Mean-payoff and Energy Games
K. Chatterjee
,
L. Doyen
,
T. Henzinger
,
Jean-François Raskin
Foundations of Software Technology and…
2010
Corpus ID: 3262761
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric…
Expand
Highly Cited
2007
Highly Cited
2007
Reconstructing visual landscapes
M. Llobera
2007
Corpus ID: 4832350
Abstract The following paper reiterates the importance of studying past visibility patterns within the context of landscape…
Expand
Review
2005
Review
2005
Molecular beam experiments on model catalysts
J. Libuda
,
H. Freund
2005
Corpus ID: 98849088
Highly Cited
2005
Highly Cited
2005
Data Complexity of Reasoning in Very Expressive Description Logics
U. Hustadt
,
B. Motik
,
U. Sattler
International Joint Conference on Artificial…
2005
Corpus ID: 287502
Data complexity of reasoning in description logics (DLs) estimates the performance of reasoning algorithms measured in the size…
Expand
Highly Cited
2004
Highly Cited
2004
Urbanised territories as a specific component of the Global Carbon Cycle
A. Svirejeva-Hopkins
,
H. Schellnhuber
,
V. Pomaz
2004
Corpus ID: 85167877
Highly Cited
1999
Highly Cited
1999
Optical waveguide isolator based on nonreciprocal loss/gain of amplifier covered by ferromagnetic layer
W. Zaets
,
K. Ando
IEEE Photonics Technology Letters
1999
Corpus ID: 24414614
The effect of nonreciprocal loss/gain of a waveguide optical amplifier covered by an absorbing magnetooptic layer was studied for…
Expand
Highly Cited
1997
Highly Cited
1997
Strong Duality for Semidefinite Programming
M. Ramana
,
L. Tunçel
,
Henry Wolkowicz
SIAM Journal on Optimization
1997
Corpus ID: 16349191
It is well known that the duality theory for linear programming (LP) is powerful and elegant and lies behind algorithms such as…
Expand
Highly Cited
1983
Highly Cited
1983
Computational complexity and the classification of finite simple groups
L. Babai
,
W. Kantor
,
E. Luks
24th Annual Symposium on Foundations of Computer…
1983
Corpus ID: 6670135
We address the graph isomorphism problem and related fundamental complexity problems of computational group theory. The main…
Expand
Highly Cited
1980
Highly Cited
1980
3-D transformations of images in scanline order
E. Catmull
,
A. R. Smith
International Conference on Computer Graphics and…
1980
Corpus ID: 5571412
Currerntly texture mapping onto projections of 3-D surfaces is time consuming and subject to considerable aliasing errors…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE