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

Jon S. Squire

dblp:63/4593 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2001
—ORCID · none

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

Systems, architecture and hardware · 1 · 1 first-authorTheory of computation · 1

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
Computational complexity · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Integrated circuit design · 100%

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

TopicWeightPapersLastEvidence papers
Computational complexity › query complexity
bounded queries
0.012001
Bounded Query Functions with Limited Output Bits · CCC 2001
Computational complexity › complexity classes
polynomial hierarchy
0.012001
Bounded Query Functions with Limited Output Bits · CCC 2001
Integrated circuit design
digital circuit design
0.011962
An 11-Cryotron Full Adder · IRE Trans. Electron. Comput. 1962
Integrated circuit design › digital circuit design › arithmetic circuit design
full adder
0.011962
An 11-Cryotron Full Adder · IRE Trans. Electron. Comput. 1962
YearPublicationVenuePosition
2001 Bounded Query Functions with Limited Output Bits
abstract
The paper explores the difference between parallel and serial queries to an NP-complete oracle, SAT, from the perspective of functions with a limited number of output bits. For polynomial-time bounded query language classes, which can be considered as functions with 1 bit output, previous work has shown that 2 serial queries to SAT is equivalent to 3 parallel queries to SAT. In contrast, for function classes with no limit on the number of output bits, previous work has shown that there exists a function that can be computed in polynomial time using 3 parallel queries to SAT, but cannot be computed using 2 serial queries to SAT, unless P=NP. The results show that there exists a function with 2 bit output that can be computed using 3 parallel queries to SAT, but cannot be computed using 2 serial queries to SAT, unless the polynomial hierarchy collapses.
Richard Chang 0001, Jon S. Squire
CCC2
1962 An 11-Cryotron Full Adder
Jon S. Squire
IRE Trans. Electron. Comput.1