conftrace_

eager approach

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

algebraic datatype (1) uninterpreted function (1) satisfiability modulo theories (1) automated reasoning (1) boolean satisfiability (1)

Papers

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024