A linear time equivalence test for read-twice DNF formulas
Krishnan Pillaipakkamnatt, Vijay RaghavanVolume:
48
Year:
1993
Language:
english
Pages:
7
DOI:
10.1016/0020-0190(93)90171-5
File:
PDF, 597 KB
english, 1993