Ordering Variables for Weighted Model Integration. - Vincent Derkinderen; Evert Heylen; Pedro Zuidberg Dos Martires; Samuel Kolb; Luc De Raedt (UAI, 2020)