DMCA

Answer set programming based on propositional satisfiability (2006)

by Enrico Giunchiglia , Yuliya Lierler , Marco Maratea
Venue:JOURNAL OF AUTOMATED REASONING
Citations:62 - 9 self