research
∙
06/15/2023
Complete Trigger Selection in Satisfiability modulo first-order Theories
Let T be an SMT solver with no theory solvers except for Quantifier Inst...
share
research
∙
09/21/2022
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Recently, interest has been emerging in the application of symbolic tech...
research
∙
09/07/2021
Congruence Closure Modulo Permutation Equations
We present a framework for constructing congruence closure modulo permut...
research
∙
06/29/2019
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Asymmetric unification, or unification with irreducibility constraints, ...
research
∙
11/14/2018