US7216306B1 - Checkpoint Restart Method Using Condensed Partial Results by Determining Boolean Constant Subsets