Efficient Craig Interpolation For Subsets of Integer Linear Arithmetic
https://www.powershow.com/view/34130-YmZmN/Efficient_Craig_Interpolation_For_Subsets_of_Integer_Linear_Arithmetic_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
