Searching for "ASSAT computing answer sets of a logic program by SAT solvers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers
by Fangzhen Lin, Yuting Zhao — 2002 — Artificial Intelligence
…ASSAT: Computing Answer Sets of A Logic Program By SAT Solvers Fangzhen Lin and Yuting Zhao…
Cited by 124 (4 self) – Add To MetaCart

Answer Set Programming: From Model . . .
by Ilkka Niemelä, E. Erdem, V. Lifschitz, Satisfiability Planning
… and Yuting Zhao. ASSAT: Computing answer sets of a logic program by SAT solvers. In Proceedings of the 18th…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB