Local Search and Its Application in CDCL/CDCL(T) for SAT and SMT