Effectively solving NP-SPEC encodings by translation to ASP.

Mario Alviano Wolfgang Faber

Published in: J. Exp. Theor. Artif. Intell. (2015)

Keyphrases

machine translation
np complete
answer set programming
sat encodings
computational complexity
special case
sat solving
database systems
information retrieval
np hard
non binary