HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sharon Shoham

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

Keyphrases

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

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