Strukturbasierte lokale Suchheuristiken für boolesche Erfüllbarkeit auf Schaltungsebene