References from today's class

[Subbarao Kambhampati <rao@asu.edu>]

Here is the link to a paper that converts planning into CSP rather than SAT

http://rakaposhi.eas.asu.edu/gp-csp-sub.pdf

Here is the link to a paper that converts planning into IP (rather than CSP or SAT)

http://rakaposhi.eas.asu.edu/optiplan-jair.pdf

Here is a link to a paper that talks about causal-proof based encodings:

http://rakaposhi.eas.asu.edu/AMali99.pdf  (this is a set of slides:  http://rakaposhi.eas.asu.edu/mali-aaai99/sld001.htm )

Rao