ASSAT: computing answer sets of a logic program by SAT solvers (2004)

by F LIN, Y ZHAO
Venue:Artificial Intelligence