---
title: "City, University of London — works of 2022 — 1 papers"
description: "1 works of City, University of London from 2022 in our library, the most cited first. Among them: cvc5: A Versatile and Industrial-Strength SMT…"
canonical: "https://research.elamur.ai/free/en/universities/city-university-of-london/year/2022/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/universities/city-university-of-london/year/2022/)

[home](https://md.research.elamur.ai/free/en/) / [institutions](https://md.research.elamur.ai/free/en/orgs/) / [universities](https://md.research.elamur.ai/free/en/universities/) / [City, University of London](https://md.research.elamur.ai/free/en/universities/city-university-of-london/) / 2022

# Works of City, University of London from 2022

1 work · the most cited first · [← City, University of London](https://md.research.elamur.ai/free/en/universities/city-university-of-london/)

1. **[cvc5: A Versatile and Industrial-Strength SMT Solver](https://md.research.elamur.ai/free/en/papers/barbosa-2022-cvc5-versatile-industrial-strength-smt/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Haniel Barbosa, Clark Barrett, Martin Brain, et al.*2022 · 487 citations*
- [← back to](https://md.research.elamur.ai/free/en/universities/city-university-of-london/) — City, University of London