Solving Dynamic 3-SAT Formula: An Empirical Study | IEEE Conference Publication | IEEE Xplore