Open AccessInstantiation-Based Interpolation for Quantified Formulae in CSIsat
Author(s) -
Vadim Mutilin,
Mikhail Mandrykin
Publication year - 2012
Publication title -
proceedings of the institute for system programming of ras
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2012-22-18
Subject(s) - interpolation (computer graphics) , solver , computer science , predicate abstraction , algorithm , bilinear interpolation , parameterized complexity , set (abstract data type) , mathematics , programming language , theoretical computer science , model checking , frame (networking) , telecommunications , computer vision
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom