Decomposition Method (constraint Satisfaction) - Online Resources

Online Resources

Here are some links to online resources for tree/hypertree decomposition in general.

  1. Treewidthlib: A benchmark for algorithms for Treewidth and related graph problems
  2. A C++ implementation used in the paper "A complete Anytime Algorithm for Treewidth, Vibhav Gogate and Rina Dechter, UAI 2004." The link is to the author homepage, where both LINUX source and Windows executable is distributed.
  3. An implementation of Hypertree Decomposition, using several heuristics.
  4. Toolbar tool has implementation of some tree decomposition heuristics
  5. TreeD Library: has source code of some decomposition methods

Read more about this topic:  Decomposition Method (constraint Satisfaction)

Famous quotes containing the word resources:

    When we want culture more than potatoes, and illumination more than sugar-plums, then the great resources of a world are taxed and drawn out, and the result, or staple production, is, not slaves, nor operatives, but men,—those rare fruits called heroes, saints, poets, philosophers, and redeemers.
    Henry David Thoreau (1817–1862)