Andres Nötzli

Available identifiers

zbMath Open notzli.andresMaRDI QIDQ2096447

List of research outcomes

Publication	Date of Publication	Type
High-level abstractions for simplifying extended string constraints in SMT	2024-02-16	Paper
Reasoning about vectors: satisfiability modulo a theory of sequences	2023-10-24	Paper
Even Faster Conflicts and Lazier Reductions for String Solvers	2022-12-07	Paper
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Reasoning about vectors using an SMT theory of sequences	2022-12-07	Paper
A decision procedure for string to code point conversion	2022-11-09	Paper
Syntax-guided rewrite rule enumeration for SMT solvers	2020-05-20	Paper

Research outcomes over time

This page was built for person: Andres Nötzli