A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom. - Qiaolan Meng; Jan Tóth; Yuanhong Wang; Yuyi Wang 001; Ondrej Kuzelka (ECAI, 2024)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity. - Qiaolan Meng; Juhua Pu; Hongting Niu; Yuyi Wang 001; Yuanhong Wang; Ondrej Kuzelka (CoRR, 2025)