Follow
Clark Barrett
Title
Cited by
Cited by
Year
Reluplex: An efficient SMT solver for verifying deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
22932017
Satisfiability Modulo Theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of Satisfiability 185, 825-885, 2009
2132*2009
CVC4
C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ...
Computer aided verification, 171-177, 2011
21112011
Satisfiability Modulo Theories
C Barrett, C Tinelli
Handbook of Model Checking, 305-343, 2018
20942018
The SMT-LIB standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
15322010
The satisfiability modulo theories library (SMT-LIB)
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
821*2010
The marabou framework for verification and analysis of deep neural networks
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
6332019
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer
Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021
4472021
cvc5: A versatile and industrial-strength SMT solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
4452022
CVC Lite: A new implementation of the cooperating validity checker: Category B
C Barrett, S Berezin
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3952004
CVC: A cooperating validity checker
A Stump, CW Barrett, DL Dill
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
2792002
Validity checking for combinations of theories with equality
C Barrett, D Dill, J Levitt
Formal Methods in Computer-Aided Design: First International Conference …, 1996
2771996
Checking satisfiability of first-order formulas by incremental translation to SAT
CW Barrett, DL Dill, A Stump
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
2282002
A decision procedure for an extensional theory of arrays
A Stump, CW Barrett, DL Dill, J Levitt
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001
2272001
Flexgen: High-throughput generative inference of large language models with a single gpu
Y Sheng, L Zheng, B Yuan, Z Li, M Ryabinin, B Chen, P Liang, C Ré, ...
International Conference on Machine Learning, 31094-31116, 2023
2262023
A decision procedure for bit-vector arithmetic
CW Barrett, DL Dill, JR Levitt
Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998
1851998
Counterexample-guided quantifier instantiation for synthesis in SMT
A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
1702015
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1672014
SMT-COMP: Satisfiability modulo theories competition
C Barrett, L De Moura, A Stump
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1572005
Towards proving the adversarial robustness of deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
arXiv preprint arXiv:1709.02802, 2017
1522017
The system can't perform the operation now. Try again later.
Articles 1–20