Answer Set Programming as SAT modulo Acyclicity

  title={Answer Set Programming as SAT modulo Acyclicity},
  author={Martin Gebser and Tomi Janhunen and Jussi Rintanen},
Answer set programming (ASP) features a rule-based syntax subject to answer-set semantics. 
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…