Answer Set Programming Based on Propositional Satisfiability
Enrico Giunchiglia, Yuliya Lierler, Marco MarateaVolume:
36
Language:
english
Pages:
33
DOI:
10.1007/s10817-006-9033-2
Date:
April, 2006
File:
PDF, 392 KB
english, 2006