Va\v{s}ek Chvátal
Va\v{s}ek Chvátal and Endre Szemerédi.
Many hard examples for resolution.
Journal of the ACM
, 35(4):759-768, October 1988.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database