Category: CS Strategy for Resolution