DMCA

Sat-based answer set programming (2004)

by Enrico Giunchiglia , Yuliya Lierler , Marco Maratea
Venue:In Proc. AAAI-04
Citations:43 - 10 self