王元宏｜吉林大学｜学者主页

期刊论文

2026

A fast model counting algorithm for two-variable logic with counting and modulo counting quantifiers

Shixin Sun, Astrid Klipfel, Ondřej Kuželka, Yuanhong Wang, Yi Chang

International Journal of Approximate Reasoning

DOI

2026

First-Order and Second-Order Model Counting Meet Stable Marriages, Stable Roommates, and Stable Diners

Václav Kůla, Jan Tóth, Yuanhong Wang, Yuyi Wang, Ondřej Kuželka

DOI

2026

On Knowledge Compilation for Two-Variable First-Order Logic

Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI

2026

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence

Václav Kůla, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

Proceedings of the AAAI Conference on Artificial Intelligence

DOI

2025

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

Proceedings - Symposium on Logic in Computer Science

DOI

预印本

2026

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting

Yuanhong Wang, Juhua Pu, Yuxu Zhou, Yuyi Wang, Ondřej Kuželka

arXiv (Cornell University)

DOI

2026

Weighted First-Order Model Counting over Ordered Domains

Jan Tóth, Qipeng Kuang, Kuncheng Zou, Václav Kůla, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

arXiv preprint

2025

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations

Qipeng Kuang, Václav Kůla, Ondřej Kuželka, Yuanhong Wang, Yuyi Wang

arXiv preprint

2024

Bridging Weighted First Order Model Counting and Graph Polynomials

Qipeng Kuang, Ondřej Kuželka, Yuanhong Wang, Yuyi Wang

arXiv (Cornell University)

DOI

2023

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka

arXiv preprint

2023

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling

Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka

arXiv preprint

DOI

书籍章节

2025

Faster Lifting for Ordered Domains with Predecessor Relations

Kuncheng Zou, Jiahao Mai, Yonggang Zhang, Yuyi Wang, Ondřej Kuželka, Yuanhong Wang, Yi Ming Chang

Frontiers in artificial intelligence and applications

DOI

王元宏

精选作品

期刊论文

A fast model counting algorithm for two-variable logic with counting and modulo counting quantifiers

First-Order and Second-Order Model Counting Meet Stable Marriages, Stable Roommates, and Stable Diners

On Knowledge Compilation for Two-Variable First-Order Logic

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

预印本

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting

Weighted First-Order Model Counting over Ordered Domains

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations

Bridging Weighted First Order Model Counting and Graph Polynomials

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling

书籍章节

Faster Lifting for Ordered Domains with Predecessor Relations

研究方向