Cita APA (7a ed.)

Wang, Y., Pu, J., Zhou, Y., Wang, Y., & Kuželka, O. (2026). Solving Combinatorial Counting Problems with Weighted First-Order Model Counting.

Cita Chicago Style (17a ed.)

Wang, Yuanhong, Juhua Pu, Yuxu Zhou, Yuyi Wang, y Ondřej Kuželka. Solving Combinatorial Counting Problems with Weighted First-Order Model Counting. 2026.

Cita MLA (9a ed.)

Wang, Yuanhong, et al. Solving Combinatorial Counting Problems with Weighted First-Order Model Counting. 2026.