Skip to search formSkip to main contentSkip to account menu

Co-NP-complete

Known as: CoNP-complete 
In complexity theory, computational problems that are co-NP-complete are those that are the hardest problems in co-NP, in the sense that any problem… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Automated theorem provingBoolean satisfiability problemCo-NPComplement (complexity)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Mind the Independence Gap
2013
2013
Detecting copositivity of a symmetric matrix by an adaptive ellipsoid-based approximation scheme
2008
2008
Bipartite matching extendable graphs
2005
2005
On scheduling complex dags for Internet-based computing
Conceptual tools are developed to aid in crafting a theory of scheduling complex computation-dags for Internet-based computing… 
2003
2003
The maximum deviation just-intime scheduling problem
This note revisits the maximum deviation just-in-time (MDJIT) scheduling problem previously investigated by Steiner and Yeomans… 
2000
2000
Complexity of weak bisimilarity and regularity for BPA and BPP
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP… 
2000
2000
Co-NP-completeness of some matrix classification problems
Abstract.The classes of P-, P0-, R0-, semimonotone, strictly semimonotone, column sufficient, and nondegenerate matrices play… 
2000
2000
Democratic Consensus and the Local Majority Rule
In this paper we study a rather generic communication/ coordination/ computation problem: in a finite network of agents, each… 
1996
1996
On 4-connected Claw-free Well-covered Graphs
1991
1991
Sequential Diagnosability is Co-NP Complete
F.P. Preparata et al. (1967) introduced a graph-theoretical model for fault diagnosis called the PMC model. The question of… 
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)