DMCA

Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation ⋆

by Wolfgang Faber , Nicola Leone , Marco Maratea , Francesco Ricca