ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.

Fangzhen Lin, Yuting Zhao

Browse the full AAAI paper archive.