"A SAT-based polynomial space algorithm for answer set programming."

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea (2004)

Details and statistics

DOI:

access: closed

type: Conference or Workshop Paper

metadata version: 2004-06-21