( en | de | ru )

 

Disambiguation of "Barrett, Clark W."

Author of the publication

copydeleteadd this publication to your clipboard
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.

, , , , and . FMCAD, page 84-88. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Colin Barrett

Clark Gorsler

Susanne Clark

Clark Nauschütz

Tim Clark

 

Other publications of authors with the same name

Parallelization Techniques for Verifying Neural Networks., , , , , , , , , and . CoRR, (2020)Checking validity of quantifier-free formulas in combinations of first-order theories.. Stanford University, USA, (2002)Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs., , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 154-175. Springer, (2023)A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 680-695. Springer, (2014)Run-Time Validation of Speculative Optimizations using CVC., , and . RV@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 89-107. Elsevier, (2003)Smt-Switch: A Solver-Agnostic C++ API for SMT Solving., , , , , , , , , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 377-386. Springer, (2021)CoSA: Integrated Verification for Agile Hardware Design., , , , , and . FMCAD, page 1-5. IEEE, (2018)Synthesizing Instruction Selection Rewrite Rules from RTL using SMT., , , , , , , and . FMCAD, page 139-150. IEEE, (2022)On Optimizing Back-Substitution Methods for Neural Network Verification., , , and . FMCAD, page 17-26. IEEE, (2022)Theory-Aided Model Checking of Concurrent Transition Systems., , and . FMCAD, page 81-88. IEEE, (2015)