On interpolants and variable assignments.

Pavel Janck, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina

Browse the full FMCAD paper archive.