Resolution branch and bound and an application: The maximum weighted stable set problem