Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ASP
2003
Springer

favoriteEmaildiscussreport

131views Automated Reasoning» more ASP 2003»

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

13 years 9 months ago

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

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

Real-time Traffic

ASP 2003 |

claim paper

Related Content

» A SATbased polynomial space algorithm for answer set programming

» ASSAT computing answer sets of a logic program by SAT solvers

» SATBased Answer Set Programming

» Fast SATbased Answer Set Solver

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	ASP
Authors	Yuliya Lierler, Marco Maratea

Comments (0)