Friday, February 1, 2008

Readings for next class (as well as additional readings for yesterday)

Assuming you have already read the readings for yesterday's class,
here are additional readings for next class

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).


1 comment:

Thad said...

The SAT link is dead. Anywhere else we can find the article, or a similar one?