Wang, Z. (2024). Improving NLSAT for Nonlinear Real Arithmetic.
Citazione stile Chigago Style (17a edizione)Wang, Zhonghan. Improving NLSAT for Nonlinear Real Arithmetic. 2024.
Citatione MLA (9a ed.)Wang, Zhonghan. Improving NLSAT for Nonlinear Real Arithmetic. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.