APA (7th ed.) Citation

Lagniez, J., Marquis, P., & Biere, A. (2024). Dynamic Blocked Clause Elimination for Projected Model Counting.

Chicago Style (17th ed.) Citation

Lagniez, Jean-Marie, Pierre Marquis, and Armin Biere. Dynamic Blocked Clause Elimination for Projected Model Counting. 2024.

MLA (9th ed.) Citation

Lagniez, Jean-Marie, et al. Dynamic Blocked Clause Elimination for Projected Model Counting. 2024.