Back to Results
First PageMeta Content
Model theory / Automated theorem proving / Boolean algebra / Resolution / Interpolation / First-order logic / Interpretation / Unsatisfiable core / Atomic formula / Logic / Mathematical logic / Propositional calculus


Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract
Add to Reading List

Document Date: 2014-05-07 12:02:18

Open Document

File Size: 271,31 KB

Share Result on Facebook

City

Otherwise / EPR / /

Company

FMCAD Inc. / Microsoft / /

Country

Russia / /

Facility

University of Manchester / Software Engineering Institute / /

IndustryTerm

interpolation algorithms / computing / instantiation-based search procedure / important tool / /

Organization

Tel Aviv University / University of Manchester / Software Engineering Institute / /

Person

Nikolaj Bjørner / Konstantin Korovin / /

Position

straight-forward / editor / model for ϕ / /

ProvinceOrState

Louisiana / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

4.2 Algorithm / propositional Zipper interpolation algorithms / EPR Zipper algorithm / Propositional Zipper algorithms / /

SocialTag