Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics.

Nicholas Hippen, Yuliya Lierler

Browse the full JELIA paper archive.