Tree Decomposition with Function Filtering

DOI10.1007/11564751_44MaRDI QIDQ3524207zbMATH OpenOpenAlexFDO

Authors Marti Sanchez, Javier Larrosa, P. Meseguer

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11564751_44

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Tree decomposition
• Computing Tree Decompositions
• Efficient and Expressive Tree Filters
• Directed tree decompositions
• Functional trees
• Functional trees
• scientific article; zbMATH DE number 2084827
• The Decomposition Tree for analyses of Boolean functions
• scientific article; zbMATH DE number 416857

This page was built for publication: Tree Decomposition with Function Filtering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524207)