Bergold, H., Scheucher, M., & Schröder, F. (2024). Finding hardness reductions automatically using SAT solvers.
Citazione stile Chigago Style (17a edizione)Bergold, Helena, Manfred Scheucher, e Felix Schröder. Finding Hardness Reductions Automatically Using SAT Solvers. 2024.
Citatione MLA (9a ed.)Bergold, Helena, et al. Finding Hardness Reductions Automatically Using SAT Solvers. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.