TY  - RPRT
TI  - Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination
AU  - Masood Feyzbakhsh Rankooh
AU  - Jussi Rintanen
PY  - 2021
UR  - https://arxiv.org/abs/2105.12908
ID  - 2105.12908
ER  -