Pawel Kerntopf Nonlinear Sifting of Decision Diagrams. 85-90 2002 IWLS db/conf/iwls/iwls2002.html#Kerntopf02a