Pirnay, N., Ulitzsch, V., Wilde, F., Eisert, J., & Seifert, J. (2023). Boolean circuit to formula coloring reduction (Version 1.0.0) [Computer software]. https://github.com/n1kn4x/circuit_to_formulacoloring_reduction