Are XORs in logic synthesis really necessary? - Ivo Hálecek; Petr Fiser; Jan Schmidt (DDECS, 2017)

SAT-Based Generation of Optimum Function Implementations with XOR Gates. - Petr Fiser; Ivo Hálecek; Jan Schmidt (DSD, 2017)

Towards AND/XOR balanced synthesis: Logic circuits rewriting with XOR. - Ivo Hálecek; Petr Fiser; Jan Schmidt (Microelectron. Reliab., 2018)

SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support. - Petr Fiser; Ivo Hálecek; Jan Schmidt; Václav Simek (J. Circuits Syst. Comput., 2019)