Relational constraint solving in SMT

DOI10.1007/978-3-319-63046-5_10zbMath1494.68289OpenAlexW2736067960MaRDI QIDQ2405247

Andrew Reynolds, Cesare Tinelli, Clark Barrett, Baoluo Meng

Publication date: 22 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-63046-5_10

zbMATH Keywords

SMTrelational logicOWLAlloy

Mathematics Subject Classification ID

Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Handling transitive relations in first-order automated reasoning ⋮ Pardinus: a temporal relational model finder

This page was built for publication: Relational constraint solving in SMT