ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers (2002)

by Fangzhen Lin, Yuting Zhao
Venue:Artificial Intelligence