Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,049,086 papers from all fields of science
Search
Sign In
Create Free Account
Complete (complexity)
Known as:
Complete problem
, Hard (complexity)
In computational complexity theory, a computational problem is complete for a complexity class if it is, in a technical sense, among the "hardest…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
35 relations
Approximation-preserving reduction
Clique problem
Co-NP
Complexity class
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Stability in a Commonsense Ontology of States
Haythem O. Ismail
2013
Corpus ID: 9235611
Despite their mostly-unchallenged acceptance in a reasoning agent’s ontology, states, as opposed to events, have raised some…
Expand
2010
2010
SNIF: A Futuristic Neutrino Probe for Undeclared Nuclear Fission Reactors
T. Lasserre
,
M. Fechner
,
+4 authors
D. Lhuillier
2010
Corpus ID: 119241272
Today reactor neutrino experiments are at the cutting edge of fundamental research in particle physics. Understanding the…
Expand
2009
2009
An Improved Genetic Algorithm Based on Adaptive Repair Operator for Solving the Knapsack Problem
Sunanda Gupta
,
M. L. Garg
2009
Corpus ID: 9297159
Problem statement: Knapsack problem is a typical NP complete problem. During last few decades, Knapsack problem has been studied…
Expand
2009
2009
Composition of ConGolog programs
Sebastian Sardiña
,
Giuseppe De Giacomo
International Joint Conference on Artificial…
2009
Corpus ID: 5820135
We look at composition of (possibly nonterminating) high-level programs over situation calculus action theories. Specifically the…
Expand
2003
2003
Scalable Internet Routing on Topology-Independent Node Identities
Bryan Ford
2003
Corpus ID: 5593350
Unmanaged Internet Protocol (UIP) is a fully selforganizing network-layer protocol that implements scalable identity-based…
Expand
2000
2000
Towards a Model of Learning through Communication
Nadim Obeid
Knowledge and Information Systems
2000
Corpus ID: 23306639
Abstract. Communication is an interactive, complex, structured process involving agents that are capable of drawing conclusions…
Expand
1991
1991
Henkin's Completeness Proof: Forty Years Later
H. Leblanc
,
P. Roeper
,
M. Thau
,
G. Weaver
Notre Dame J. Formal Log.
1991
Corpus ID: 5777195
1 In his 1949 paper, "The completeness of the first-order calculus", Henkin developed what is now called the method of…
Expand
1987
1987
Checking Classification Constraints for Consistency and Completeness
Selim G. Aki
,
D. Denning
IEEE Symposium on Security and Privacy
1987
Corpus ID: 16722481
Classification constraints are rules for assigning access classes to data when they are entered into a database. In order that a…
Expand
1971
1971
A product integral representation for an evolution system
J. Herod
1971
Corpus ID: 120952239
In [7], D. Rutledge obtains a product integral representation for a nonexpansive, nonlinear semigroup. In [6], Neuberger gets…
Expand
1961
1961
Limits of Completeness
G. Kuiper
1961
Corpus ID: 115821519