TY  - RPRT
TI  - ALLSAT compressed with wildcards: From CNF's to orthogonal DNF's by imposing the clauses one by one
AU  - Marcel Wild
PY  - 2020
UR  - https://arxiv.org/abs/1608.08472
ID  - 1608.08472
ER  -