Concepedia

W. W. Bledsoe

WW

Statistics

Publications

26

Citations

1.8K

H-Index

20

Active since

1952

Affiliations

The University of Texas at Austin(Current)

SRI International

W. W. Bledsoe is an author at The University of Texas at Austin specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationVerificationProof ComplexityData ScienceImage AnalysisProgram Analysis

Publications per year

1952–2020

26

Publications

26

Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.

W. W. Bledsoe · ACM SIGART Bulletin · 1971 · 360 citations

Artificial Intelligence, Problem-solving Methods, Engineering +6

Pattern recognition and reading by machine

W. W. Bledsoe, I Browning · 1959 · 347 citations · Full text

Artificial Intelligence, Engineering, Type Theory +21

Non-resolution theorem proving

W. W. Bledsoe · Artificial Intelligence · 1977 · 231 citations

Engineering, Automated Reasoning, Proof Complexity +3

Splitting and reduction heuristics in automatic theorem proving

W. W. Bledsoe · Artificial Intelligence · 1971 · 102 citations

Engineering, Reduction Heuristics, Automated Reasoning +6

A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness

Robert Blake Anderson, W. W. Bledsoe · Journal of the ACM · 1970 · 99 citations · Full text

Applied Logic, Establishing Completeness, Engineering +18

1–5 of 26