The complexity of propositional implication

authored by

Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer

Organisation(s)

Institute of Theoretical Computer Science

Type

Article

Journal

Information Processing Letters

Volume

109

Pages

1071-1077

No. of pages

7

ISSN

0020-0190

Publication date

2009

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

https://arxiv.org/abs/0811.0959 (Access: Open)
https://doi.org/10.1016/j.ipl.2009.06.015 (Access: Unknown)