Similar Items: Quantifier-Free Interpolation of a Theory of Arrays
- Ground interpolation for the theory of equality
- Interpolation in local theory extensions
- On Interpolation and Symbol Elimination in Theory Extensions
- A Complete Axiomatisation for Quantifier-Free Separation Logic
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference