Lifted Unit Propagation for Effective Grounding

Open in new window