High-level abstractions for simplifying extended string constraints in SMT

DOI10.1007/978-3-030-25543-5_2OpenAlexW2959755401MaRDI QIDQ6154871

Andrew Reynolds, Clark Barrett, Cesare Tinelli, Andres Nötzli

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25543-5_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Flexible proof production in an industrial-strength SMT solver

This page was built for publication: High-level abstractions for simplifying extended string constraints in SMT