[PPT] - BIRD: Engineering an Efficient CNF-XOR SAT Solver and its PowerPoint Presentation