|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Mohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare | A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery | Inproceedings    | Oct-2023 |
| 2 |  | Wilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark | Partitioning Strategies for Distributed SMT Solving | Inproceedings Konferenzbeitrag | Oct-2023 |
| 3 |  | Noetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare | Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language | Konferenzbeitrag Inproceedings | Oct-2022 |
| 4 |  | Janota, Mikoláš ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew | Fair and Adventurous Enumeration of Quantifier Instantiations | Inproceedings | Oct-2021 |
| 5 |  | Reynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare | Reductions for Strings and Regular Expressions Revisited | Konferenzbeitrag Inproceedings | 2020 |
| 6 |  | Arif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare | SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces | Konferenzbeitrag Inproceedings | 2020 |