Demo Data from VLDB 2026 / reviewers in the wild / expert
Theodore M. Booth
dblp:33/943
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization › discrete optimization
boolean function minimization |
0.0 | 1 | 1962 | 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.0 | 1 | 1962 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1962 | The Vertex-Frame Method for Obtaining Minimal Proposition-Letter FormulasabstractThe 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 |