The reviewed record of science sign in
Pith

Randal E. Bryant

Identifiers

  • name variant Randal E. Bryant 0.60 · backfill

Papers (11)

  1. Numerical Considerations in Weighted Model Counting math.NA · 2025 · author #1
  2. Certified Knowledge Compilation with Application to Formally Verified Model Counting cs.LO · 2025 · author #1
  3. Notes on "Bounds on BDD-Based Bucket Elimination'' cs.LO · 2023 · author #1
  4. Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination cs.LO · 2023 · author #2
  5. Generating Extended Resolution Proofs with a BDD-Based SAT Solver cs.LO · 2021 · author #1
  6. From Data to Knowledge to Action: Enabling the Smart Grid cs.CY · 2020 · author #1
  7. Chain Reduction for Binary and Zero-Suppressed Decision Diagrams cs.DS · 2017 · author #1
  8. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds cs.LO · 2005 · author #2
  9. Predicate Abstraction with Indexed Predicates cs.LO · 2004 · author #2
  10. Boolean Satisfiability with Transitivity Constraints cs.LO · 2000 · author #1
  11. Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic cs.LO · 1999 · author #1

Mentions

  • 2508.06264 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • 2501.12906 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • 2306.10337 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • 2304.04292 #2 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • 2105.00885 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • 2008.00055 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • 1710.06500 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • cs/0508044 #2 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • cs/9910014 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • cs/0407006 #2 · arxiv_oai · confidence 0.70 Randal E. Bryant
  • cs/0008001 #1 · arxiv_oai · confidence 0.70 Randal E. Bryant

Frequent Coauthors