TY  - RPRT
TI  - Generalized cofactors and decomposition of Boolean satisfiability problems
AU  - Madhav Desai
AU  - Virendra Sule
PY  - 2014
UR  - https://arxiv.org/abs/1412.2341
ID  - 1412.2341
ER  -