Ivo Hálecek

According to our database, Ivo Hálecek authored at least 4 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

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

2018

Towards AND/XOR balanced synthesis: Logic circuits rewriting with XOR.

Ivo Hálecek, Petr Fiser, Jan Schmidt

Microelectron. Reliab., 2018

2017

SAT-Based Generation of Optimum Function Implementations with XOR Gates.

Petr Fiser, Ivo Hálecek, Jan Schmidt

Proceedings of the Euromicro Conference on Digital System Design, 2017

Are XORs in logic synthesis really necessary?

Ivo Hálecek, Petr Fiser, Jan Schmidt

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017