Solving Combinatorial Counting Problems with Weighted First-Order Model Counting

MaRDI QIDQ7257958arXivFDO

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

Publication date 2026

Published in arXiv

arXiv classification

cs.AI

This page was built for publication: Solving Combinatorial Counting Problems with Weighted First-Order Model Counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7257958)