Adding logic based constraint propagation Strategy for AC3