Weighted model counting beyond two-variable logic.

Antti Kuusisto, Carsten Lutz

Browse the full LICS paper archive.