Vasek Chvátal. Resolution Search. Discrete Applied Mathematics, 73(1):81-99, 1997. [doi]
@article{Chvatal97,
title = {Resolution Search},
author = {Vasek Chvátal},
year = {1997},
doi = {10.1016/S0166-218X(96)00003-0},
url = {http://dx.doi.org/10.1016/S0166-218X(96)00003-0},
tags = {search},
researchr = {https://researchr.org/publication/Chvatal97},
cites = {0},
citedby = {0},
journal = {Discrete Applied Mathematics},
volume = {73},
number = {1},
pages = {81-99},
}