Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,094,239 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.
2014
2014
Foundations of Mathematics without Actual Infinity
M. Czarnecki
2014
Corpus ID: 123834449
Contemporary mathematics significantly uses notions which belong to ideal mathematics (in Hilbert’s sense) – which is expressed…
Expand
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. 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
2007
2007
Efficient Discovery of Services Specified in Description Logics Languages
Claudia d’Amato
,
Steffen Staab
,
N. Fanizzi
,
F. Esposito
SMRR
2007
Corpus ID: 13453566
Semantic service descriptions are frequently given using expressive ontology languages based on description languages. The…
Expand
2007
2007
Smooth Projective Symmetric Varieties with Picard Number equal to one
Alessandro Ruzzi
2007
Corpus ID: 18240348
We classify the smooth projective symmetric G-varieties with Picard number one (and G semisimple). Moreover we prove a criterion…
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
1999
1999
Model Construction: Elements of a Computational Mechanism Modeling: a Walk-through Example Galileo's Experiment Modeling the Motion on Inclined Plane
J. Zytkow
1999
Corpus ID: 9029673
Model construction is one of the key scientiic activities. In distinction to the majority of the previous machine discovery…
Expand
1995
1995
Rationalization of Vancomycin Serum Concentration Monitoring
S. Shalansky
1995
Corpus ID: 59930651
ABSTRACT The common practice of adjusting vancomycin dosage based on peak and trough serum levels is examined. To justify the…
Expand
1961
1961
Limits of Completeness
G. Kuiper
1961
Corpus ID: 115821519