TY  - RPRT
TI  - Projective cofactor decompositions of Boolean functions and the satisfiability problem
AU  - Madhav Desai
AU  - Virendra Sule
PY  - 2017
UR  - https://arxiv.org/abs/1603.04569
ID  - 1603.04569
ER  -