| Document Date: 2014-05-07 12:02:18 Open Document File Size: 271,31 KBShare 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 |