conftrace_

sound over-approximation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

variable-preserving equation (1) derivation depth (1) variable-preserving rule (1) equational reasoning (1) fixed-parameter tractable (1) automated reasoning (1) formal methods (1)

Papers

Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025