Decomposition method (constraint satisfaction): Difference between revisions

Content deleted Content added
Hinge decomposition: typo ("having" repeated)
Added links to two commercial applications using decomposition.
Line 266:
# [http://carlit.toulouse.inra.fr/cgi-bin/awki.cgi/ToolBarIntro Toolbar tool has implementation of some tree decomposition heuristics]
# [http://www.itu.dk/people/sathi/treed/ TreeD Library:] has source code of some decomposition methods
 
==Usage in Commercial Applications==
 
# [ http://www.bioinformaticssolutions.com/dbpostings/bsipapers.php Bioinformatics Solutions] uses tree decomposition for predicting protein structures.
# [ http://www.configit.com/products/configit_modular_extension.html Configit ] uses tree decomposition in their product/sales configuration software.
 
==References==