An Automaton Constraint for Local Search Jun He, Pierre Flener, Justin Pearson
Also appearing in Proceedings of the 6th International Workshop
on Local Search Techniques in Constraint Satisfaction (LSCS 2009), volume 5 of Electronic Proceedings in Theoretical Computer Science, pages 13-25, 2009.
Negotiation Exploiting Reasoning by Projections Toni Mancini
Also appearing in Proceedings of the 7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2009), volume 55 of Advances in Soft Computing, pages 329-338. Springer, 2009.