Efficient problem solving on tree decompositions using binary decision diagrams (Q3449205)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Efficient problem solving on tree decompositions using binary decision diagrams |
scientific article; zbMATH DE number 6504234
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient problem solving on tree decompositions using binary decision diagrams |
scientific article; zbMATH DE number 6504234 |
Statements
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams (English)
0 references
4 November 2015
0 references
0 references
0.8129268288612366
0 references
0.79179847240448
0 references
0.7908416390419006
0 references
0.7642737030982971
0 references
0.7587329149246216
0 references
