Publications de
David Cohen, Martin Cooper, Paidi Creed, Daniel Marx, Andras Salamon
The Tractability of CSP Classes Defined by Forbidden Patterns
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 45, p. 47-78, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/pivot-jair-final.pdf
BibTeX
David Cohen, Martin Cooper, Martin Green, Daniel Marx
On Guaranteeing Polynomially Bounded Search Tree Size (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, 12/09/11-16/09/11, Vol. 6876, Jimmy Lee (Eds.), Springer, p. 160-171, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/poly_bounded_search_final.pdf
BibTeX