,

WASP: A Native ASP Solver Based on Constraint Learning.

, , , , и .
LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 54-66. Springer, (2013)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии