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

Cached

Download Links

by Fangzhen Lin , Yuting Zhao
Venue:Artificial Intelligence
Citations:201 - 6 self