TY  - RPRT
TI  - ALLSAT compressed with wildcards: All, or all maximum independent sets
AU  - Marcel Wild
PY  - 2019
UR  - https://arxiv.org/abs/0901.4417
ID  - 0901.4417
ER  -