TY  - RPRT
TI  - Weighted First-Order Model Counting over Ordered Domains
AU  - Jan Tóth
AU  - Qipeng Kuang
AU  - Kuncheng Zou
AU  - Václav Kůla
AU  - Yuyi Wang
AU  - Yuanhong Wang
AU  - Ondřej Kuželka
PY  - 2026
UR  - https://arxiv.org/abs/2608.10877
ID  - 2608.10877
ER  -