Talk:Resolution proof compression by splitting