GSoC 2012 project on SAT proof compression