Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans. Constraint solving for interpolation. Journal of Symbolic Computation, 45(11):1212-1233, 2010. [doi]

Authors

Andrey Rybalchenko

This author has not been identified. Look up 'Andrey Rybalchenko' in Google

Viorica Sofronie-Stokkermans

This author has not been identified. It may be one of the following persons: Look up 'Viorica Sofronie-Stokkermans' in Google