Orna Grumberg, Sharon Shoham, Yakir Vizel. SAT-based Model Checking: Interpolation, IC3, and Beyond. In Orna Grumberg, Helmut Seidl, Maximilian Irlbeck, editors, Software Systems Safety. Volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 17-41, IOS Press, 2014. [doi]
Abstract is missing.