Accelerating Syntax-Guided Invariant Synthesis. - Fedyukovich, Grigory; Bodík, Rastislav (2018)