A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom.

Qiaolan Meng, Jan Tth, Yuanhong Wang, Yuyi Wang, Ondrej Kuzelka

Browse the full ECAI paper archive.