TY  - RPRT
TI  - ALLSAT compressed with wildcards: An invitation for C-programmers
AU  - Marcel Wild
PY  - 2019
UR  - https://arxiv.org/abs/1712.00751
ID  - 1712.00751
ER  -