Parameterized algorithms; Tree decompositions; Multi-pass dynamic programming; Projected model counting; Propositional logic;
机译:通过利用小树宽在GPU上进行加权模型计数
机译:图形模型中的精确或近似推论:为什么选择由树宽决定,以及如何利用变量消除
机译:有界模块化树宽的CNF公式的模型计数
机译:利用TreeWidth进行预计模型计数及其限制
机译:高树宽图形模型中的可实践学习和推理。
机译:结合热容忍的投影范围极限-气候变化模型:基于沿美国东海岸的灰色鲷鱼(Lutjanus griseus)的示例
机译:利用数据库管理系统和树木宽度进行计数