Improving Tree Decomposition Methods With Function Filtering

Martí Sánchez, Javier Larrosa, Pedro Meseguer. Improving Tree Decomposition Methods With Function Filtering. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 1537-1538, Professional Book Center, 2005. [doi]

Authors

Martí Sánchez

This author has not been identified. Look up 'Martí Sánchez' in Google

Javier Larrosa

This author has not been identified. Look up 'Javier Larrosa' in Google

Pedro Meseguer

This author has not been identified. Look up 'Pedro Meseguer' in Google