{"type":"ScholarlyArticle","title":"Improving Tree Decomposition Methods With Function Filtering","authors":[{"name":"Martí Sánchez-Fibla","slug":"marti-sanchez-fibla","given":"Martí","family":"Sánchez-Fibla","affiliation":""},{"name":"Javier Larrosa","slug":"javier-larrosa","given":"Javier","family":"Larrosa","affiliation":""},{"name":"Pedro Meseguer","slug":"pedro-meseguer","given":"Pedro","family":"Meseguer","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/2005/318","pdf":"https://ijcai.org/proceedings/2005/0318.pdf","markdown":"https://ijcai.org/proceedings/2005/318.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/318","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":318,"pages":{"first":1537,"last":1537},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}