Skip to content

SAT-Based Answer Set Programming.

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

VenueA*AAAI
Year2004
ProceedingsAAAI

Browse the full AAAI paper archive.