Petr Fišer
doc. Ing. Petr Fišer, Ph.D.


Research Links

Conferences

Journals

Papers, Publications

Logic Synthesis

Testing & Diagnostics

Asynchronous Design

Solvers

SAT

PBO

SMT

QBF

Other

Benchmarks

Other

People