Citazione Stile APA (7a Edizione)

Yang, S., & Meel, K. S. (2023). Engineering an Exact Pseudo-Boolean Model Counter.

Citazione stile Chigago Style (17a edizione)

Yang, Suwei, e Kuldeep S. Meel. Engineering an Exact Pseudo-Boolean Model Counter. 2023.

Citatione MLA (9a ed.)

Yang, Suwei, e Kuldeep S. Meel. Engineering an Exact Pseudo-Boolean Model Counter. 2023.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.