HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yakir Vizel

Publications
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic
Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel
EasyChair Preprint no. 10000

Keyphrases

arithmetic, automated theorem proving, interpolation, SMT, Uninterpreted Functions.

Copyright © 2012-2023 easychair.org. All rights reserved.