SAT Sweeping with Local Observability Don't-Cares Speaker: Nathan Kitchen

z