Franco, John; Swaminathan, Ram On good algorithms for determining unsatisfiability of propositional formulas. (English) Zbl 1029.68077 Discrete Appl. Math. 130, No. 2, 129-138 (2003). MSC: 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Annexstein, Fred; Swaminathan, Ram On testing consecutive-ones property in parallel. (English) Zbl 0936.68111 Discrete Appl. Math. 88, No. 1-3, 7-28 (1998). MSC: 68W05 92B99 × Cite Format Result Cite Review PDF Full Text: DOI