Abstract
Many prominent NP-hard problems have been shown tractable for bounded treewidth. To put these results to practice, dynamic programming (DP) via a traversal of the nodes of a tree decomposition is the standard technique. However, the concrete implementation of suitable efficient algorithms is often tedious. To this end, we have developed the D-FLAT system, which [1] -- [4] allows the user to specify the DP algorithm in a declarative fashion and where the computation of intermediate solutions is delegated to a logic-programming system. In this talk, we first give a brief introduction to the D-FLAT system and demonstrate its usage on some standard DP algorithms. In the second part of the talk, we reflect on some of our experiences.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
