Uniform Variable Splitting

Presentation of the paper Uniform Variable Splitting during the Doctoral Programme of International Joint Conference on Automated Reasoning (Wikipedia).

Talk
July 4, 2004
IJCAR 2004 Doctoral Programme, University College Cork, Cork, Ireland