here are additional readings for next class
http://rakaposhi.eas.asu.edu/cse574/readings.html#encodings
The second and third papers--CSP encodings and SAT encodings--are most
relevant for next class.
The first one explains the details of how to use EBL in graphplan
(that I described at a highlevel yesterday).
rao
1 comment:
The SAT link is dead. Anywhere else we can find the article, or a similar one?
Post a Comment