Sciweavers

ASSAT: computing answer sets of a logic program by SAT solvers
Recent countries visiting this post
ASSAT: computing answer sets of a logic program by SAT solvers
us6United States
un2
de1Germany