v1v2v3 (latest)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling

17 August 2023

Papers citing "Lifted Algorithms for Symmetric Weighted First-Order Model Sampling"

3 / 3 papers shown

Title
Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity Qiaolan Meng Juhua Pu Hongting Niu Yuyi Wang Yuanhong Wang Ondrej Kuzelka LRM 18 0 0 26 May 2025
Towards Practical First-Order Model Counting Ananth K. Kidambi Guramrit Singh Paulius Dilkas Kuldeep S. Meel LRM 24 0 0 17 Feb 2025
Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondrej Kuzelka Yuanhong Wang Yuyi Wang 54 0 0 16 Jul 2024