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

Cached

Download Links

by Fangzhen Lin , Yuting Zhao
Venue:Artificial Intelligence
Citations:264 - 7 self