On Knowledge Compilation for Two-Variable First-Order Logic.

Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka

Browse the full SAT paper archive.