Ivo Hálecek

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Logic Synthesis

Answer Set Programming

Conjunctive Queries

Top Venues

Microelectron. Reliab.

J. Circuits Syst. Comput.

Publications

Petr Fiser, Ivo Hálecek, Jan Schmidt, Václav Simek
SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support. J. Circuits Syst. Comput. 28 (Supplement-1) (2019)
Ivo Hálecek, Petr Fiser, Jan Schmidt
Towards AND/XOR balanced synthesis: Logic circuits rewriting with XOR. Microelectron. Reliab. 81 (2018)
Ivo Hálecek, Petr Fiser, Jan Schmidt
Are XORs in logic synthesis really necessary? DDECS (2017)
Petr Fiser, Ivo Hálecek, Jan Schmidt
SAT-Based Generation of Optimum Function Implementations with XOR Gates. DSD (2017)