Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm

Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm