Variable Splitting for Automated Reasoning

Talk
January 18, 2008 at 10:15
Logic Seminar, University of Oslo