Maria Luisa Bonet, Nicola Galesi. A Study of Proof Search Algorithms for Resolution and Polynomial Calculus. In FOCS. pages 422-432, 1999. [doi]
@inproceedings{BonetG99:0,
title = {A Study of Proof Search Algorithms for Resolution and Polynomial Calculus},
author = {Maria Luisa Bonet and Nicola Galesi},
year = {1999},
url = {http://computer.org/proceedings/focs/0409/04090422abs.htm},
tags = {search},
researchr = {https://researchr.org/publication/BonetG99%3A0},
cites = {0},
citedby = {0},
pages = {422-432},
booktitle = {FOCS},
}