TY  - RPRT
TI  - On Knowledge Compilation For Two-Variable First-Order Logic
AU  - Qiaolan Meng
AU  - Juhua Pu
AU  - Hongting Niu
AU  - Yuyi Wang
AU  - Yuanhong Wang
AU  - Ondřej Kuželka
PY  - 2026
UR  - https://arxiv.org/abs/2605.11796
ID  - 2605.11796
ER  -