Bleukx, I., Verhaeghe, H., Bogaerts, B., & Guns, T. (2024). Exploiting Symmetries in MUS Computation (Extended version).
Style de citation Chicago (17e éd.)Bleukx, Ignace, Hélène Verhaeghe, Bart Bogaerts, et Tias Guns. Exploiting Symmetries in MUS Computation (Extended Version). 2024.
Style de citation MLA (9e éd.)Bleukx, Ignace, et al. Exploiting Symmetries in MUS Computation (Extended Version). 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.