From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.

L. Hadarean, K. Bansal, D. Jovanovic, C. Barrett, и C. Tinelli. CAV, том 8559 из Lecture Notes in Computer Science, стр. 680-695. Springer, (2014)

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.

Colin Barrett

Clark Gorsler

Susanne Clark

Clark Nauschütz

Tim Clark

Другие публикации лиц с тем же именем

Witness Runs for Counter Machines.C. Barrett, S. Demri, и M. Deters. FroCos, том 8152 из Lecture Notes in Computer Science, стр. 120-150. Springer, (2013)Towards Proving the Adversarial Robustness of Deep Neural Networks.G. Katz, C. Barrett, D. Dill, K. Julian, и M. Kochenderfer. FVAV@iFM, том 257 из EPTCS, стр. 19-26. (2017)Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.Y. Ge, C. Barrett, и C. Tinelli. CADE, том 4603 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2007)A Framework for Cooperating Decision Procedures.C. Barrett, D. Dill, и A. Stump. CADE, том 1831 из Lecture Notes in Computer Science, стр. 79-98. Springer, (2000)Satisfiability Modulo Theories.C. Barrett, и C. Tinelli. Handbook of Model Checking, Springer, (2018)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.L. Hadarean, C. Barrett, A. Reynolds, C. Tinelli, и M. Deters. LPAR, том 9450 из Lecture Notes in Computer Science, стр. 340-355. Springer, (2015)Pono: A Flexible and Extensible SMT-Based Model Checker.M. Mann, A. Irfan, F. Lonsing, Y. Yang, H. Zhang, K. Brown, A. Gupta, и C. Barrett. CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 461-474. Springer, (2021)A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.T. Liang, A. Reynolds, C. Tinelli, C. Barrett, и M. Deters. CAV, том 8559 из Lecture Notes in Computer Science, стр. 646-662. Springer, (2014)Even Faster Conflicts and Lazier Reductions for String Solvers.A. Nötzli, A. Reynolds, H. Barbosa, C. Barrett, и C. Tinelli. CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 205-226. Springer, (2022)Satisfiability Modulo Finite Fields.A. Ozdemir, G. Kremer, C. Tinelli, и C. Barrett. CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 163-186. Springer, (2023)

BibSonomy

Disambiguation