متابعة
Andrew Reynolds
Andrew Reynolds
University of Iowa, Amazon Web Services
بريد إلكتروني تم التحقق منه على uiowa.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Cvc4‏
CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ...‏
23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 2011‏
2194*2011
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‏
5352022
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‏
1902015
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions‏
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters‏
International Conference on Computer Aided Verification, 646-662, 2014‏
1762014
Induction for SMT solvers‏
A Reynolds, V Kuncak‏
International Workshop on Verification, Model Checking, and Abstract …, 2015‏
1352015
SMTCoq: A plug-in for integrating SMT solvers into Coq‏
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett‏
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017‏
1312017
Finding conflicting instances of quantified formulas in SMT‏
A Reynolds, C Tinelli, L De Moura‏
2014 Formal Methods in Computer-Aided Design (FMCAD), 195-202, 2014‏
992014
Quantifier instantiation techniques for finite model finding in SMT‏
A Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C Barrett‏
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013‏
962013
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis‏
A Reynolds, H Barbosa, A Nötzli, C Barrett, C Tinelli‏
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019‏
892019
SMT proof checking using a logical framework‏
A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli‏
Formal Methods in System Design 42, 91-118, 2013‏
892013
Revisiting enumerative instantiation‏
A Reynolds, H Barbosa, P Fontaine‏
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018‏
842018
Finite model finding in SMT‏
A Reynolds, C Tinelli, A Goel, S Krstić‏
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013‏
842013
An efficient SMT solver for string constraints‏
T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters‏
Formal Methods in System Design 48, 206-234, 2016‏
752016
A tour of CVC4: how it works, and how to use it‏
M Deters, A Reynolds, T King, C Barrett, C Tinelli‏
2014 Formal Methods in Computer-Aided Design (FMCAD), 7-7, 2014‏
652014
Extending SMT solvers to higher-order logic‏
H Barbosa, A Reynolds, D El Ouraoui, C Tinelli, C Barrett‏
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019‏
64*2019
A decision procedure for (co) datatypes in SMT solvers‏
A Reynolds, JC Blanchette‏
Journal of Automated Reasoning 58, 341-362, 2017‏
562017
A decision procedure for separation logic in SMT‏
A Reynolds, R Iosif, C Serban, T King‏
International Symposium on Automated Technology for Verification and …, 2016‏
552016
Solving quantified bit-vectors using invertibility conditions‏
A Niemetz, M Preiner, A Reynolds, C Barrett, C Tinelli‏
International Conference on Computer Aided Verification, 236-255, 2018‏
532018
Scaling up DPLL (T) string solvers using context-dependent simplification‏
A Reynolds, M Woo, C Barrett, D Brumley, T Liang, C Tinelli‏
International Conference on Computer Aided Verification, 453-474, 2017‏
532017
Congruence closure with free variables‏
H Barbosa, P Fontaine, A Reynolds‏
International Conference on Tools and Algorithms for the Construction and …, 2017‏
522017
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20