Skip to content

Faster lifting for two-variable logic using cell graphs.

Timothy van Bremen, Ondrej Kuzelka

VenueAUAI
Year2021
ProceedingsUAI

Browse the full UAI paper archive.