Login / Signup
Lifted Unit Propagation for Effective Grounding
Pashootan Vaezipoor
David G. Mitchell
Maarten Mariën
Published in:
CoRR (2011)
Keyphrases
</>
industrial applications