TY  - RPRT
TI  - QBF-Based Boolean Function Bi-Decomposition
AU  - Huan Chen
AU  - Mikolas Janota
AU  - Joao Marques-Silva
PY  - 2011
UR  - https://arxiv.org/abs/1112.2313
ID  - 1112.2313
ER  -