references to papers mentioned in yesterday's class

[Subbarao Kambhampati <rao@asu.edu>]

Here are links to papers I mentioned in yesterday's class:

http://jair.org/abstracts/nebel00a.html   describes Nebel's work on
compilability of various features such as conditional effects,
disjunctive preconds etc. 

http://www.cs.toronto.edu/~fbacchus/Papers/LBIJCAI2003.pdf describes 
mutex propagation as a form of directed k-consistency enforcement on
planning graph (It has also been noticed earlier--for example my AI
mag refinement planning paper). 

John Hooker is one of the people who works on bridging the ILP and
SAT/CSP literature. His homepage is at
http://web.gsia.cmu.edu/display_faculty.aspx?id=72 and his papers are
at  http://web.tepper.cmu.edu/jnh/papers.html

Rao