References

• P. Fišer, I. Háleček, and J. Schmidt, "SAT-Based Generation of Optimum Function Implementations with XOR Gates", in Proc. of 20th Euromicro Conference on Digital Systems Design (DSD), Viena, Austria, August 31-September 1, 2017, pp. 163-170. pdf