Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,842,912 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
2012
2012
Role of dalak (massage) and riyazat (exercise) in the rehabilitation of patients with post stroke hemiplegia
Zarnigar
,
A. Rahaman
2012
Corpus ID: 44011072
Hemiplegia is complete or nearly complete paralysis on one side of the body. Hemiplegia constitutes the main somatoneurological…
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
B. 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
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
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
S. Akl
,
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
1961
1961
Limits of Completeness
G. Kuiper
1961
Corpus ID: 115821519