A Linear Time Equivalene Test for Read-Twice DNF Formulas.

Fri, 01 Jan 1993 00:00:00 +0100

Krishnan Pillaipakkamnatt, Vijay Raghavan:
A Linear Time Equivalene Test for Read-Twice DNF Formulas. Inf. Process. Lett. 48(6): 289-295 (1993)