Best Paper Front End: Session 14.2 SAT Sweeping Using Local Observability Don't-Cares