conftrace_

theory combination

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

algebraic datatype (1) satisfiability modulo theories (1) automated reasoning (1) formal methods (1)

Papers

Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021