@misc{indiciae82e3c98207a7,
  title = {ALLSAT compressed with wildcards: From CNF's to orthogonal DNF's by imposing the clauses one by one},
  author = {Marcel Wild},
  year = {2020},
  url = {https://arxiv.org/abs/1608.08472},
  note = {Source identifier: 1608.08472}
}