Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,729,639 papers from all fields of science
Search
Sign In
Create Free Account
Certificate (complexity)
Known as:
Certificate
, Certificate complexity
, Witness (complexity)
In computational complexity theory, a certificate (also called a witness) is a string that certifies the answer to a computation, or certifies the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computational complexity theory
Decision tree
Decision tree model
NP (complexity)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Identification and Avoidance of Malicious Nodes by using Certificate Revocation Method
H. Krishna
,
Gandharba Swain
International journal of engineering and…
2018
Corpus ID: 69844083
There are a large number of applications of ad-hoc networks (i) military, (ii) Disaster rescue, (iii) Medical etc. But the…
Expand
2016
2016
A Tighter Relation between Sensitivity and Certificate Complexity
Kun He
,
Qian Li
,
Xiaoming Sun
arXiv.org
2016
Corpus ID: 8484441
The sensitivity conjecture which claims that the sensitivity complexity is polynomially related to block sensitivity complexity…
Expand
2016
2016
Reduction of certificates in an anonymous credential system with proofs for monotone formulas on attributes
Shahidatul Sadiah
,
T. Nakanishi
International Conference on Consumer Electronics…
2016
Corpus ID: 28652726
Anonymous credential systems enable a user to assure a service provider anonymously the ownership of his certified attributes. We…
Expand
2012
2012
Security and Trustworthiness as Drivers of E-shop Competitiveness (Opinions of Young Customers)
Petrtyl Jan
2012
Corpus ID: 123289364
Although the overall share of B2C e-commerce on the total retail turnover in the Czech Re- public is low, e-shopping still…
Expand
2011
2011
Linear-time certifying algorithms for the path cover and Hamiltonian cycle problems on interval graphs
Ruo-Wei Hung
,
Maw-Shang Chang
Applied Mathematics Letters
2011
Corpus ID: 5914878
2011
2011
IMEP-31: Total Arsenic, Cadmium, Copper, Lead and Mercury, as well as Extractable Cadmium and Lead in Mineral Feed - Interlaboratory Comparison Report
Baer Ines
,
D. Beatriz
,
+4 authors
Robouch Piotr
2011
Corpus ID: 99056510
The Institute for Reference Materials and Measurements (IRMM) of the Joint Research Centre (JRC), a Directorate-General of the…
Expand
2010
2010
An Efficient and Flexible Approach to Resolution Proof Reduction
Simone Rollini
,
Roberto Bruttomesso
,
N. Sharygina
Haifa Verification Conference
2010
Corpus ID: 7294856
A resoution proof is a certificate of the unsatisfiability of a Boolean formula. Resolution proofs, as generated by modern SAT…
Expand
2008
2008
A certifying algorithm for the path cover problem on interval graphs
Maw-Shang Chang
2008
Corpus ID: 17716280
A certifying algorithm for a problem is an algorithm that provides a certificate with each answer that it produces. The…
Expand
Review
2006
Review
2006
The Psychosocial Benefits Of Traditional Martial Arts Training: What Most Instructors Know But Can't Articulate
Damien Martin
2006
Corpus ID: 44108541
The martial arts industry is currently undergoing unprecedented growth and according to Dale & Ford (2001), Sport & Recreation…
Expand
1999
1999
CERTIFICATION INFRASTRUCTURE REFERENCE PROCEDURES
Denis Trček
,
B. Blažič
1999
Corpus ID: 15250000
Abstract Implementations of security services in a globalnetwork are strongly based on asymmetriccryptography, which in turn…
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