Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions.

Yuanhong Wang, Timothy van Bremen, Yuyi Wang, Ondrej Kuzelka

Browse the full AAAI paper archive.