Skolemization for Weighted First-Order Model Counting.

Guy Van den Broeck, Wannes Meert, Adnan Darwiche

Browse the full KR paper archive.