Uniform Variable Splitting

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

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