Pith. sign in

Researcher Evidence Record

Randal E. Bryant

This bounded record lists 11 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.LO, cs.CY, cs.DS work dated 1999 to 2025. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 11 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 2 of 11 papers carrying a current Pith review; presence, not outcome Sourced citations 2 of 11 works with a source-named citation count Coauthors 11 distinct coauthors across shared paper rows
Enumerated paper scope: 4 fields (cs.LO, cs.CY, cs.DS, +1 more) · 1999-2025 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2025 Pith paper

    Numerical Considerations in Weighted Model Counting

    math.NA provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 0 external cited by from arxiv_reference
    • 1 pith inbound references from cited_work_pith_inbound_counts
  2. 2025 Pith paper

    Certified Knowledge Compilation with Application to Formally Verified Model Counting

    cs.LO provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 0 external cited by from pith
    • 1 pith inbound references from cited_work_pith_inbound_counts
  3. 2023 Pith paper

    Notes on "Bounds on BDD-Based Bucket Elimination''

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2023 Pith paper

    Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2021 Pith paper

    Generating Extended Resolution Proofs with a BDD-Based SAT Solver

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2020 Pith paper

    From Data to Knowledge to Action: Enabling the Smart Grid

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2017 Pith paper

    Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

    cs.DS provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2005 Pith paper

    Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2004 Pith paper

    Predicate Abstraction with Indexed Predicates

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  10. 2000 Pith paper

    Boolean Satisfiability with Transitivity Constraints

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 1999 Pith paper

    Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Randal E. Bryant
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 11 of 11 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 2 of 11 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 2 of 11 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 11 of 11 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Randal E. Bryant     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.LO8 rows
  • cs.CY1 rows
  • cs.DS1 rows
  • math.NA1 rows
  • 19991 rows
  • 20001 rows
  • 20041 rows
  • 20051 rows
  • 20171 rows
  • 20201 rows
  • 20211 rows
  • 20232 rows
  • 20252 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.