Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT.
Elisabeth HenkelJochen HoenickeTanja SchindlerPublished in: CADE (2023)
Keyphrases
- tree structure
- r tree
- b tree
- binary tree
- image interpolation
- statistical machine translation
- tree models
- interpolation methods
- hierarchical structure
- linear interpolation
- interpolation method
- tree search
- tree construction
- machine translation system
- decision trees
- tree structures
- spanning tree
- machine translation
- single image