An average case analysis of a resolution principle algorithm in mechanical theorem proving

1992 ◽  
Vol 6 (1-3) ◽  
pp. 235-251 ◽  
Author(s):  
T. H. Hu ◽  
C. Y. Tang ◽  
R. C. T. Lee
Keyword(s):  
Theorem Proving ◽  
Case Analysis ◽  
Mechanical Theorem Proving ◽  
Average Case Analysis ◽  
Average Case ◽  
Resolution Principle ◽  
Mechanical Theorem

Average-Case Analysis of Approximate Trie Search

Algorithmica ◽  
2006 ◽  
Vol 46 (3-4) ◽  
pp. 469-491 ◽  
Author(s):  
Moritz G. Maass
Keyword(s):  
Case Analysis ◽  
Average Case Analysis ◽  
Average Case

scholarly journals Average Case Analysis of Multichannel Thresholding

2007 ◽  
Author(s):  
Remi Gribonval ◽  
Boris Mailhe ◽  
Holger Rauhut ◽  
Karin Schnass ◽  
Pierre Vandergheynst
Keyword(s):  
Case Analysis ◽  
Average Case Analysis ◽  
Average Case
Sign in / Sign up

Export Citation Format

Share Document