Vašek Chvátal

Works by or with Vašek Chvátal in the bibliography:

• Many hard examples for resolution (1988)