Random model sampling: Making craig interpolation work when it should not

Marat Kh. Akhin, Sam Kolton, Vladimir M. Itsykson. Random model sampling: Making craig interpolation work when it should not. Automatic Control and Computer Sciences, 49(7):413-419, 2015. [doi]

Abstract

Abstract is missing.