Test Pattern Generation Using Boolean Proof Engines by Rolf Drechsler, Garschwin Fey & Daniel Tille