Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Theodore M. Booth

dblp:33/943 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1962
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Mathematical optimization · 77% Logic in computer science · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Mathematical optimization › discrete optimization
boolean function minimization
0.011962
The Vertex-Frame Method for Obtaining Minimal Proposition-Letter Formulas · IRE Trans. Electron. Comput. 1962
Logic in computer science › algebraic logic › boolean algebra
unate truth functions
0.011962
The Vertex-Frame Method for Obtaining Minimal Proposition-Letter Formulas · IRE Trans. Electron. Comput. 1962

Methods — techniques the papers use, named apart from their topics

vertex-frame method · 0.0selection graph · 0.0
YearPublicationVenuePosition
1962 The Vertex-Frame Method for Obtaining Minimal Proposition-Letter Formulas
abstract
The vertex frame is similar to an n-dimensional cube or Tychonoff frame that has been cut and unfolded into the shape of a Karnaugh map. The methods of use are similar to those for Karnaugh maps. Minimal disjunctive and conjunctive normal formulas are found for problems with or without don't-care cases. The selection graph, a linear graph, is used to enhance the prime antecedent (= prime implicant) selection procedure. The vertex frame readily handles most problems of up to six variables. Problems with seven and eight variables have been worked successfully, but this is an area where more experience is needed in working out actual problems that arise in engineering practice. As with any map method, pattern recognition plays an important role, and thus it takes longer to become proficient in this method than in some of the formula-manipulation methods (e.g., Quine's, McCluskey's, Mott's). The problem of recognizing plots, on a vertex frame, of symmetric and unate truth functions is discussed.
Theodore M. Booth
IRE Trans. Electron. Comput.1