Sundermann, C., Heß, T., Nieke, M., Bittner, P. M., Young, J. M., Thüm, T., & Schaefer, I. (2023). Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empirical software engineering : an international journal, 28(2), 29. https://doi.org/10.1007/s10664-022-10265-9
Citace podle Chicago (17th ed.)Sundermann, Chico, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, a Ina Schaefer. "Evaluating State-of-the-art # SAT Solvers on Industrial Configuration Spaces." Empirical Software Engineering : An International Journal 28, no. 2 (2023): 29. https://doi.org/10.1007/s10664-022-10265-9.
Citace podle MLA (9th ed.)Sundermann, Chico, et al. "Evaluating State-of-the-art # SAT Solvers on Industrial Configuration Spaces." Empirical Software Engineering : An International Journal, vol. 28, no. 2, 2023, p. 29, https://doi.org/10.1007/s10664-022-10265-9.