Using Criticalities as a Heuristic for Answer Set Programming.

Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman

Browse the full LPNMR paper archive.