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

by Fangzhen Lin, Yuting Zhao
Venue:Artificial Intelligence