Answer Set Programming Based on Propositional Satisfiability

From Tetherless World Wiki

Jump to: navigation, search
 Answer Set Programming Based on Propositional Satisfiability
Has publishing details  36(4):345-377, 2006
Has title  Answer Set Programming Based on Propositional Satisfiability
Has where published  J. Autom. Reasoning
Has year  2006
Has author  Enrico Giunchiglia +, Yuliya Lierler +, Marco Maratea +
Has identifier  DBLP:journals/jar/GiunchigliaLM06 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools