Arbelaez, A., Truchet, C., & Codognet, P. (2024). Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search.
Style de citation Chicago (17e éd.)Arbelaez, Alejandro, Charlotte Truchet, et Philippe Codognet. Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search. 2024.
Style de citation MLA (9e éd.)Arbelaez, Alejandro, et al. Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.