v1v2v3 (latest)

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

10 July 2020

Papers citing "Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers"

4 / 4 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 23 0 0 26 May 2025
Towards Practical First-Order Model Counting Ananth K. Kidambi Guramrit Singh Paulius Dilkas Kuldeep S. Meel LRM 35 0 0 17 Feb 2025
Lifted Inference beyond First-Order Logic Sagar Malhotra D. Bizzaro Luciano Serafini 100 3 0 22 Aug 2023
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling Yuanhong Wang Juhua Pu Yuyi Wang Ondrej Kuzelka TPM 41 5 0 17 Aug 2023