conftrace_

algebraic datatype

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

satisfiability modulo theories (2) automated reasoning (2) uninterpreted function (1) eager approach (1) theory combination (1) formal methods (1) boolean satisfiability (1)

Papers

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021