Reusing Search Tree for Incremental SAT Solving of Temporal Induction | IEEE Conference Publication | IEEE Xplore