Fast SAT-based Answer Set Solver.

Zhijun Lin Yuanlin Zhang Hector Hernandez

Published in: AAAI (2006)

Keyphrases

answer sets
answer set programming
logic programs
logic programming
answer set semantics
constraint solver
sat solvers
clause learning
answer set programs
normal logic programs
dynamic programming
fixpoint
semantics of logic programs
lower bound
stable model semantics
query language
np hard