Stefan S. Dantchev, Søren Riis. Planar Tautologies Hard for Resolution. In FOCS. pages 220-229, 2001.
@inproceedings{DantchevR01:0,
title = { Planar Tautologies Hard for Resolution},
author = {Stefan S. Dantchev and Søren Riis},
year = {2001},
researchr = {https://researchr.org/publication/DantchevR01%3A0},
cites = {0},
citedby = {0},
pages = {220-229},
booktitle = {FOCS},
}