Sciweavers

Share
ASP
2003
Springer

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

12 years 2 months ago
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates
Yuliya Lierler, Marco Maratea
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ASP
Authors Yuliya Lierler, Marco Maratea
Comments (0)
books