Keyword:interpolation

Publications
Higher-Order Interpolation of Cosserat Beam Deformations Andreas Muller, Tobias Marauli and Hubert Gattringer EasyChair Preprint 13704
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel EasyChair Preprint 10000
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic Matthias Baaz and Anela Lolic In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report) David Toman and Grant Weddell In:IWIL Workshop and LPAR Short Presentations
First-Order Interpolation and Interpolating Proof Systems Laura Kovács and Andrei Voronkov In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Instantiations, Zippers and EPR Interpolation Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning