conftrace_

variable-preserving rule

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

variable-preserving equation (1) derivation depth (1) sound over-approximation (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