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

researchr

You are not signed in
Sign in
Sign up

Yuliya Lierler, Marco Maratea. Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003. Volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]

This author has not been identified. Look up 'Yuliya Lierler' in GoogleThis author has not been identified. Look up 'Marco Maratea' in Google

runs on WebDSL