TY  - RPRT
TI  - SAT-Based Methods for Circuit Synthesis
AU  - Roderick Bloem
AU  - Uwe Egly
AU  - Patrick Klampfl
AU  - Robert Koenighofer
AU  - Florian Lonsing
PY  - 2014
UR  - https://arxiv.org/abs/1408.2333
ID  - 1408.2333
ER  -