Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity.

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

Browse the full LICS paper archive.