Variable Splitting for Automated Reasoning

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