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

Cached

Download Links

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