references from yesterday's class

[Subbarao Kambhampati <rao@asu.edu>]

Here are optional additional readings for things discussed in yesterday's class:

--> The AAAI 2010 Outstanding Award paper that discusses transition-based SAT encodings

http://www.cse.wustl.edu/~chen/public/SASE-Encoding.pdf   (We didnt discuss this paper, but I am forwarding it to you

to tell you that the SAT encodings direction remains active)

--> paper that discusses the relative efficacy of causal encodings:

http://rakaposhi.eas.asu.edu/AMali99.pdf

--> paper on CSP encodings for planning

http://rakaposhi.eas.asu.edu/1MDo00.pdf

-->paper on doing non-directional (i.e., not level-by-level) search on graphplan 

http://users.rsise.anu.edu.au/~jussi/Rintanen98plan.pdf

--> paper on doing local search on planning graph

 http://zeus.ing.unibs.it/lpg/ (LPG page--contains lots of papers)

  http://www.cs.washington.edu/research/jair/abstracts/gerevini03a.html (LPG JAIR paper)

--> Use of negative interaction analysis in PG heuristics 

http://rakaposhi.eas.asu.edu/altalt-aij-pub.pdf

(you can also see the tutorial article http://rakaposhi.eas.asu.edu/pgSurvey.pdf )

--> use of planning graph heuristics in partial order planning 

http://rakaposhi.eas.asu.edu/ucpop-revive.pdf

(also a later paper on VHPOP  http://www.tempastic.org/vhpop/  )