Inproceedings,

Using Criticalities as a Heuristic for Answer Set Programming.

, , and .
LPNMR, volume 2923 of Lecture Notes in Computer Science, page 234-246. Springer, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews