I denna artikel, Vi har visat, med hjälp av EXOR Ternary Decision Diagram att antalet bokstavliga och produkttermer av Fast Polarity Reed -Muller (FPRM) expansioner kan användas för att helt klassificera alla Booleska funktioner i NP ekvivalent klass respektive NPN ekvivalent klass. Effektiva grafbaserade algoritmer för att beräkna hela viktvektorer har presenterats. Proof and computation method har lett till härledning av en uppsättning karakteristiska signaturer som har låg sannolikhet för aliasing när de används som booleska matchande filter i bibliotekskartläggning.
Chang och Falkowski REF använde grafbaserade algoritmer för att beräkna de kompletta viktvektorerna och härledde en uppsättning karakteristiska signaturer som användes som booleska matchande filter i bibliotekskartläggning.
Boolean Matching Filters Based on Row and Column Weights of Reed -Muller Polarity Coefficient Matrix
{'venue': 'VLSI Design', 'journal': 'VLSI Design', 'mag_field_of_study': ['Mathematics', 'Computer Science']}