TY  - RPRT
TI  - Generating clause sequences of a CNF formula
AU  - Kristóf Bérczi
AU  - Endre Boros
AU  - Ondřej Čepek
AU  - Khaled Elbassioni
AU  - Petr Kučera
AU  - Kazuhisa Makino
PY  - 2020
UR  - https://arxiv.org/abs/2002.06727
ID  - 2002.06727
ER  -