Publication:5009587
From MaRDI portal
DOI10.4230/LIPIcs.ESA.2018.28MaRDI QIDQ5009587
Stefan Woltran, Johannes K. Fichte, Markus Hecher, Markus Zisser
Publication date: 4 August 2021
dynamic programming; treewidth; tree decompositions; parameterized algorithms; weighted model counting; general purpose computing on graphics processing units
68Wxx: Algorithms in computer science
Uses Software