Adaptive Lookahead for Answer Set Computation.

Guohua Liu, Jia-Huai You

Browse the full ICTAI paper archive.