Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca. Look-back Techniques for ASP Programs with Aggregates. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. Volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.