Babatunde, A., England, M., & Sadeghimanesh, A. (2026). Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons.
Style de citation Chicago (17e éd.)Babatunde, Abiola, Matthew England, et AmirHosein Sadeghimanesh. Optimising Cylindrical Algebraic Coverings for Use in SMT by Solving a Set Covering Problem with Reasons. 2026.
Style de citation MLA (9e éd.)Babatunde, Abiola, et al. Optimising Cylindrical Algebraic Coverings for Use in SMT by Solving a Set Covering Problem with Reasons. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.