Disabling solutions for logic problems