Andrew Reynolds
- The SyGuS Language Standard Version 2.1
2023/12/10 by Saswat Padhi, Padhi, Saswat, Elizabeth Polgreen +7 · 2 citations
Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Software Engineering Research
- Dietary fibre and whole grains in diabetes management: Systematic review and meta-analyses
2020/03/06 by Andrew Reynolds, Ashley P. Akerman, Jim Mann · 1 citation
Nursing · Agricultural and Biological Sciences · #Food composition and properties #Polysaccharides Composition and Applications #Phytase and its Applications
- Partitioning Strategies for Distributed SMT Solving
2023/06/08 by Amalee Wilson, Andres Noetzli, Wilson, Amalee +9 · 1 citation
Computer Science · #Constraint Satisfaction and Optimization #Distributed #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- CVC4 at the SMT Competition 2018
2018/06/20 by Clark Barrett, Barrett, Clark, Haniel Barbosa +19 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Verifying SQL Queries using Theories of Tables and Relations
2024/05/05 by Mudathir Mohamed, Andrew Reynolds, Mohamed, Mudathir +5 · 2 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Quality and Management #Semantic Web and Ontologies